<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8rhfrpkqn701575fisv6h2clpi, 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 />
!7

set flag WebSocketManager_debug.
static long counter;

p {
  webSocketManager = new WebSocketManager;
  doEvery(1000, f count);
}

html {
  ret loadJQuery()
    + "Counting:"
    + hdiv("", id := 'results)
    + hreconnectingWebSockets()
    + hjavascript([[
      var ws = new ReconnectingWebSocket("${URI}");
      ws.onmessage = function(event) {
        var d = event.data;
        $("#results").html(d);
      };
    ]].replace("${URI}", subBot_myWebSocketURI());
}

svoid count {
  ++counter;
  if (empty(webSocketManager.webSockets)) ret;
  print("Sending " + counter + " to " + n2(webSocketManager.webSockets, "socket"));
  webSocketManager.sendToAllWebSockets(str(counter));
}