Method get

basex-api/src/main/java/org/basex/http/rest/RESTDelete.java:26–37

Creates and returns a REST command. @param session REST session @return command @throws QueryException query exception @throws IOException I/O exception

(final RESTSession session)

   * @throws IOException I/O exception
   */
  static RESTExec get(final RESTSession session) throws QueryException, IOException {
    RESTCmd.assignOptions(session);

    final HTTPConnection conn = session.conn;
    final String db = conn.db();
    if(db.isEmpty()) throw HTTPStatus.NO_DATABASE_SPECIFIED.get();

    // open database to ensure it exists
    final String path = conn.dbpath();
    session.add(path.isEmpty() ? new DropDB(db) : new Delete(path));
    return new RESTExec(session, false);
  }
}