!7

html {
  ret "JavaScript doing its magic..."
    + 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);
        };
    ]]);
}