The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/dom/workers/test/terminate_worker.js	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,13 @@
     1.4 +/**
     1.5 + * Any copyright is dedicated to the Public Domain.
     1.6 + * http://creativecommons.org/publicdomain/zero/1.0/
     1.7 + */
     1.8 +onclose = function() {
     1.9 +  postMessage("Closed!");
    1.10 +}
    1.11 +
    1.12 +onmessage = function(event) {
    1.13 +  throw "No messages should reach me!";
    1.14 +}
    1.15 +
    1.16 +setInterval(function() { postMessage("Still alive!"); }, 100);