Method stop

basex-core/src/main/java/org/basex/gui/GUI.java:517–523

Stops the current command.

()

   * Stops the current command.
   */
  public void stop() {
    if(command != null) command.stop();
    cursor(CURSORARROW, true);
    input.setCursor(CURSORTEXT);
    stop.setEnabled(false);
    command = null;
  }

  /**
   * Checks if a command with the specified ID is still running.