!7

html {
  ret htitle("Live Webs Count")
    + hfullcenter("Live webs count:<br><br>"
    + hloadjquery()
    + hdiv("bla<br>", id := "bla")
    + hjavascript([[
        var ws = new WebSocket("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);
        };
    ]]));
}