Method stopServer

basex-core/src/main/java/org/basex/core/Sandbox.java:562–564

Stops a server instance. @param server server @throws IOException I/O exception

(final BaseXServer server)

   * @throws IOException I/O exception
   */
  public static void stopServer(final BaseXServer server) throws IOException {
    if(server != null) server.stop();
  }

  /**
   * Creates a client instance.