!7

html {
  ret "JavaScript doing its magic..."
    + hloadjquery()
    + hdiv("bla", 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");
          ws.close();
        };
        ws.onmessage = function(event) {
          $("bla").append(event.data).append("<br>");
        };
    ]]);
}