7 document.getElementById("result").innerHTML += message + "<br>";
10 var worker = new SharedWorker("debug_shared_worker_initialization.js");
11 worker.port.postMessage("ping");
12 worker.port.onmessage = function(event) {
13 log("worker replied: " + event.data);