<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8bl6e34hpk7q6rao68sfgi8ptp, 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

static Set webSockets = synchroHashSet();
static long counter;

p {
  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").append(d + "<br>");
      };
    ]].replace("${URI}", subBot_myWebSocketURI());
}

svoid count {
  ++counter;
  if (empty(webSockets)) ret;
  print("Sending " + counter + " to " + n2(webSockets, "socket"));
  for (O ws : webSockets)
    pcall(ws, 'send, str(counter));
}

static void onNewWebSocket(O ws, S uri) {
  print("New web socket!");
  webSockets.add(ws);
}

static void onWebSocketMessage(O ws, S msg) {
  print("Got message: " + msg);
}

static void onWebSocketClosed(O ws) {
  print("Closed web socket");
  webSockets.remove(ws);
}