!7

html {
  ret htitle("Live Webs Count")
    + hfullcenter("Live webs count:<br><br>"
    + hloadjquery()
    + hdiv("bla<br>", id := "bla", style := "font-size: 40px")
    + hjavascript_src_snippet(#1013374 /*#1013375*/) // ReconnectingWebSocket
    + hjavascript([[
        var ws = new ReconnectingWebSocket("ws://smartbot.botcompany.de/");
        ws.onopen = function(event) {
          //ws.send("Here is an important message!");
          ws.send("stream-big-number");
          $("#bla").append("Streaming...<br>");
        };
        ws.onmessage = function(event) {
          $("#bla").html(event.data);
          document.title = event.data;
        };
    ]]));
}