!7

html {

  if (eq(uri, "/worker.js"))

    ret [[

      postMessage("WORKING!");

      var startTime = new Date();

      var i = 0;

      while (true) {

        i = i+1;

        if ((i % 1000000) == 0) {

          var ms = new Date()-startTime;

          var mips = (i/ms/1000).toFixed(2);

          postMessage("Counted to: " + i + " in " + ms + " ms ("

            + mips + " million steps/s)");

        }

      }

    ]];

  ret htitle("Web Worker Test")

    + hbody(

      p(hfulltag("output", "", id := "result1"))

    + p(hfulltag("output", "", id := "result2"))

    + p(hbutton("Restart Worker", onClick := "restart()"))

  + hjavascript([[

    var workers = [];

    function restart() {

      for (w of workers) { w.terminate(); }

      workers = [];

      go();

    }

    function go() {

      for (i = 1; i <= $WORKERS; i++) go1(i);

    }

    function go1(i) { 

      var res = document.getElementById("result" + i);

      if (typeof(Worker) === "undefined") {

        res.innerHTML = "Sorry, your browser does not support Web Workers...";

        return;

      }

      res.innerHTML = "Making web worker";

      var worker = new Worker($LINK);

      worker.onmessage = function(event) {

        res.innerHTML = event.data;

      };

      workers.push(worker);

    }

  ]]).replace("$LINK", jsQuote(relativeRawBotLink(programID(), "worker.js"))), onLoad := "go()")

    .replace("$WORKERS", str(2));

}