static WebSocketHTTPD serveHttpsWithWebsockets_server;

static int serveHttpsWithWebsockets_port = 8443;

static new TreeSet<String> serveHttpsWithWebsockets_peers;

// factory: func(NanoHTTPD.IHTTPSession) -> WebSocket

static int serveHttpsWithWebsockets(int port, File keystore, S pass, O factory) ctex {

  serveHttpsWithWebsockets_port = port;

  serveHttpsWithWebsockets_server = new WebSocketHTTPD(port, factory);

  serveHttpsWithWebsockets_server.makeSecure(serveHttps_makeSSLSocketFactory(keystore, pass));

serveHttpsWithWebsockets_server.start();

  ret serveHttpsWithWebsockets_port();

}

// serve on random port, return port number used

static int serveHttpsWithWebsockets(File keystore, S pass, O factory) {

  serveHttpsWithWebsockets(0, keystore, pass, factory);

  ret serveHttpsWithWebsockets_port();

}

static int serveHttpsWithWebsockets_port() {

  ret serveHttpsWithWebsockets_server == null ? 0 : serveHttpsWithWebsockets_server.getListeningPort();

}

static void cleanMeUp_serveHttpsWithWebsockets() {

  if (serveHttpsWithWebsockets_server != null) {

    serveHttpsWithWebsockets_server.stop();

    serveHttpsWithWebsockets_server = null;

  }

}