Warning: session_start(): open(/var/lib/php/sessions/sess_6sb2tdgpdoh6dkv9ehk0d2aifa, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static WebSocketHTTPD serveHttpWithWebsockets_server;
static int serveHttpWithWebsockets_port = 8888;
static new TreeSet serveHttpWithWebsockets_peers;
// factory: func(NanoHTTPD.IHTTPSession) -> WebSocket
static int serveHttpWithWebsockets(int port, O factory) ctex {
serveHttpWithWebsockets_port = port;
serveHttpWithWebsockets_server = new WebSocketHTTPD(port, factory);
serveHttpWithWebsockets_server.start();
ret serveHttpWithWebsockets_port();
}
// serve on random port, return port number used
static int serveHttpWithWebsockets(O factory) {
serveHttpWithWebsockets(0, factory);
ret serveHttpWithWebsockets_port();
}
static int serveHttpWithWebsockets_port() {
ret serveHttpWithWebsockets_server == null ? 0 : serveHttpWithWebsockets_server.getListeningPort();
}
static void cleanMeUp_serveHttpWithWebsockets() {
if (serveHttpWithWebsockets_server != null) {
serveHttpWithWebsockets_server.stop();
serveHttpWithWebsockets_server = null;
}
}