1 <html> 2 <body> 3 <div id=result></div> 4 <script> 5 function log(message) 6 { 7 document.getElementById("result").innerHTML += message + "<br>"; 8 } 9 10 var url = document.location.toString(); 11 var id = parseInt(url.substr(url.search("id=") + 3)); 12 log("Creating worker #" + id); 13 var worker = new SharedWorker("worker_common.js?id=" + id); 14 </script> 15 16 </body> 17 </html> 18
