Allow workers to be GC'ed when they become useless. (whatwg r3145)

Allow workers to be GC'ed when they become useless. (whatwg r3145)

Diffs for this change per section: 
http://people.w3.org/mike/diffs/html5/workers/Overview.1.125.html#processing-model

http://people.w3.org/mike/diffs/html5/workers/Overview.diff.html
http://dev.w3.org/cvsweb/html5/workers/Overview.html?r1=1.124&r2=1.125&f=h
http://html5.org/tools/web-apps-tracker?from=3144&to=3145

===================================================================
RCS file: /sources/public/html5/workers/Overview.html,v
retrieving revision 1.124
retrieving revision 1.125
diff -u -d -r1.124 -r1.125
--- Overview.html 28 May 2009 09:25:12 -0000 1.124
+++ Overview.html 28 May 2009 21:29:46 -0000 1.125
@@ -1279,8 +1279,8 @@
    <li>
 
     <p><strong>Closing orphan workers</strong>: Start monitoring the
-    worker such that no sooner than it stops being either an
-    <a href="#active-needed-worker">active needed worker</a> or a <a href="#suspendable-worker">suspendable
+    worker such that no sooner than it stops being either a
+    <a href="#protected-worker">protected worker</a> or a <a href="#suspendable-worker">suspendable
     worker</a>, and no later than it stops being a
     <a href="#permissible-worker">permissible worker</a>, <var title="">worker global
     scope</var>'s <a href="#dom-workerglobalscope-closing" title="dom-WorkerGlobalScope-closing">closing</a> flag is set

Received on Thursday, 28 May 2009 21:30:49 UTC