<html>
<body>
<div id=result></div>
<script>
function log(message)
{
  document.getElementById("result").innerHTML += message + "<br>";
}
var worker = new SharedWorker("websocket_worker_simple.js");
var href = window.location.href;
var hostBegin = href.indexOf("/") + 2;
var hostEnd = href.lastIndexOf(":");
var host = href.slice(hostBegin, hostEnd);
var portBegin = hostEnd + 1;
var portEnd = href.lastIndexOf("/");
var port = href.slice(portBegin, portEnd);
var url = "ws://" + host + ":" + port + "/echo-with-no-extension";
worker.port.onmessage = function (evt) {
  log(evt.data);
  if (evt.data == "DONE") {
    document.title = "OK";
  } else {
    document.title = "FAIL";
  }
};
worker.port.postMessage(url);

</script>
</body>
</html>