<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_h4v3fvlggo879co4gjr56gdvfp, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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;
  }
}