html5/spec Overview.html,1.4708,1.4709

Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv6758

Modified Files:
	Overview.html 
Log Message:
Clarify that if 'already started' is set multiple times, the state the last time it was set is what matters. (whatwg r5866)

Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.4708
retrieving revision 1.4709
diff -u -d -r1.4708 -r1.4709
--- Overview.html	9 Feb 2011 01:09:56 -0000	1.4708
+++ Overview.html	9 Feb 2011 21:21:58 -0000	1.4709
@@ -13014,6 +13014,9 @@
     <p>The user agent must set the element's <a href="#already-started">"already
     started"</a> flag.</p>
 
+    <p class="note">The state of the element at this moment <a href="#establish-script-block-source">is later used</a> to
+    determine the script source.</p>
+
    </li>
 
    <li id="script-processing-noscript">
@@ -13299,7 +13302,7 @@
     <a href="#prepare-a-script">prepare a script</a> algorithm above was running for this
     script, the <code><a href="#script">script</a></code> element had a <code title="attr-script-src"><a href="#attr-script-src">src</a></code> attribute specified.</p>
 
-    <ol><li>
+    <ol><li id="establish-script-block-source">
 
       <p>Initialize <dfn id="the-script-block-s-source"><var>the script block's source</var></dfn> as
       follows:</p>
@@ -13386,7 +13389,7 @@
 
         <p>The value of the <code title="dom-script-text"><a href="#dom-script-text">text</a></code>
         IDL attribute at the time the element's <a href="#already-started">"already
-        started"</a> flag was set is the script source.</p>
+        started"</a> flag was last set is the script source.</p>
 
        </dd>
 
@@ -13395,8 +13398,8 @@
        <dd>
 
         <p>The child nodes of the <code><a href="#script">script</a></code> element at the
-        time the element's <a href="#already-started">"already started"</a> flag was set
-        are the script source.</p>
+        time the element's <a href="#already-started">"already started"</a> flag was
+        last set are the script source.</p>
 
        </dd>
 

Received on Wednesday, 9 February 2011 21:22:05 UTC