!7

p {
  serveHttpWithWebsockets(8888);
}

html {
  ret "HTML still works!"
    + hjavascript([[
  var exampleSocket = new WebSocket("ws://localhost:8888/");
  exampleSocket.send("Here is an important message!");
  ]]);
}