!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));
}