7 document
.getElementById("result").innerHTML
+= message
+ "<br>";
10 var url
= document
.location
.toString();
11 var id
= parseInt(url
.substr(url
.search("id=") + 3));
12 log("Shutting down worker #" + id
);
13 var worker
= new SharedWorker("worker_common.js?id=" + id
);
14 worker
.port
.postMessage("close");