[html5] r1101 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2007-10-26 01:15:06 -0700 (Fri, 26 Oct 2007)
New Revision: 1101

Modified:
   index
   source
Log:
[go] (2) Define media element behaviour in the face of history navigation and garbage collection.

Modified: index
===================================================================
--- index	2007-10-26 08:03:38 UTC (rev 1100)
+++ index	2007-10-26 08:15:06 UTC (rev 1101)
@@ -14730,7 +14730,10 @@
    interaction</a> at the same time.
 
   <p>When a <a href="#media5">media element</a> is <a
-   href="#actively">actively playing</a>, its <a href="#current">current
+   href="#actively">actively playing</a> and its <span
+   title=dom-ownerDocument>owner
+   <code>Document</code></span><!-- XXX xref --> is an <a
+   href="#active">active document</a>, its <a href="#current">current
    playback position</a> must increase monotonically at <code
    title=dom-media-playbackRate><a
    href="#playbackrate">playbackRate</a></code> units of media time per unit
@@ -14941,9 +14944,9 @@
      element.
   </ol>
 
-  <p>When a media element is removed from a <code>Document</code><!--
-  XXX xref removed -->,
-   the user agent must run the following steps:
+  <p>When a <a href="#media5">media element</a> is <span>removed from a
+   <code>Document</code><!-- XXX xref removed --></span>, the user agent must
+   run the following steps:
 
   <ol>
    <li>
@@ -14967,9 +14970,15 @@
      element.
   </ol>
 
-  <p>Media elements that are <a href="#actively">actively playing</a> while
-   not <span>in a <code>Document</code></span><!-- XXX xref --> must not play
-   any video, but should play any audio component.
+  <p><a href="#media5" title="media element">Media elements</a> that are <a
+   href="#actively">actively playing</a> while not <span>in a
+   <code>Document</code></span><!-- XXX xref --> must not play any video, but
+   should play any audio component. Media elements must not stop playing just
+   because all references to them have been removed; only once a media
+   element to which no references exist has reached a point where no further
+   audio remains to be played for that element (e.g. because the element is
+   paused or because the end of the clip has been reached) may the element be
+   <span>garbage collected</span><!-- XXX xref -->.
 
   <p>The <dfn id=ended0 title=dom-media-ended><code>ended</code></dfn>
    attribute must return true if the <a href="#media5">media element</a> has

Modified: source
===================================================================
--- source	2007-10-26 08:03:38 UTC (rev 1100)
+++ source	2007-10-26 08:15:06 UTC (rev 1101)
@@ -12566,7 +12566,9 @@
   interaction</span> at the same time.</p>
 
   <p>When a <span>media element</span> is <span>actively
-  playing</span>, its <span>current playback position</span> must
+  playing</span> and its <span title="dom-ownerDocument">owner
+  <code>Document</code></span><!-- XXX xref --> is an <span>active
+  document</span>, its <span>current playback position</span> must
   increase monotonically at <code
   title="dom-media-playbackRate">playbackRate</code> units of media
   time per unit time of wall clock time. If this value is not 1, the
@@ -12765,9 +12767,9 @@
 
 
 
-  <p>When a media element is removed from a <code>Document</code><!--
-  XXX xref removed -->, the user agent must run the following
-  steps:</p>
+  <p>When a <span>media element</span> is <span>removed from a
+  <code>Document</code><!-- XXX xref removed --></span>, the user
+  agent must run the following steps:</p>
 
   <ol>
 
@@ -12789,9 +12791,16 @@
 
   </ol>
 
-  <p>Media elements that are <span>actively playing</span> while not
-  <span>in a <code>Document</code></span><!-- XXX xref --> must not
-  play any video, but should play any audio component.</p>
+  <p><span title="media element">Media elements</span> that are
+  <span>actively playing</span> while not <span>in a
+  <code>Document</code></span><!-- XXX xref --> must not play any
+  video, but should play any audio component. Media elements must not
+  stop playing just because all references to them have been removed;
+  only once a media element to which no references exist has reached a
+  point where no further audio remains to be played for that element
+  (e.g. because the element is paused or because the end of the clip
+  has been reached) may the element be <span>garbage
+  collected</span><!-- XXX xref -->.</p>
 
 
   <p>The <dfn title="dom-media-ended"><code>ended</code></dfn>