static MyHTTPD serveHttp_server;
static int serveHttp_port = 8888;

static new TreeSet<String> serveHttp_peers;

static int serveHttp(int port) ctex {
  serveHttp_port = port;
  serveHttp_server = new MyHTTPD(port);
  serveHttp_server.start();
  ret serveHttp_port();
}

// serve on random port, return port number used
static int serveHttp() {
  serveHttp(0);
  ret serveHttp_port();
}

static int serveHttp_port() {
  ret serveHttp_server == null ? 0 : serveHttp_server.getListeningPort();
}

static void cleanMeUp_serveHttp() {
  if (serveHttp_server != null) {
    serveHttp_server.stop();
    serveHttp_server = null;
  }
}