- From: poot <cvsmail@w3.org>
- Date: Fri, 29 May 2009 06:30:16 +0900 (JST)
- To: public-html-diffs@w3.org
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