[html5] r6182 - [giow] (0) Prevent it from being possible to have seeked to after the end of an [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2011-06-02 17:48:48 -0700 (Thu, 02 Jun 2011)
New Revision: 6182

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Prevent it from being possible to have seeked to after the end of an infinite stream that suddenly stops being infinite.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12191

Modified: complete.html
===================================================================
--- complete.html	2011-06-03 00:33:38 UTC (rev 6181)
+++ complete.html	2011-06-03 00:48:48 UTC (rev 6182)
@@ -28075,7 +28075,11 @@
   user agent must <a href=#queue-a-task>queue a task</a> to <a href=#fire-a-simple-event>fire a simple
   event</a> named <code title=event-media-durationchange><a href=#event-media-durationchange>durationchange</a></code> at the
   <a href=#media-element>media element</a>. (The event is not fired when the
-  duration is reset as part of loading a new media resource.)</p>
+  duration is reset as part of loading a new media resource.) If the
+  duration is changed such that the <a href=#current-playback-position>current playback
+  position</a> ends up being greater than the time of the end of
+  the <a href=#media-resource>media resource</a>, then the user agent must also <a href=#dom-media-seek title=dom-media-seek>seek</a> the to the time of the end of the
+  <a href=#media-resource>media resource</a>.</p>
 
   <p class=example>If an "infinite" stream ends for some reason,
   then the duration would change from positive Infinity to the time of

Modified: index
===================================================================
--- index	2011-06-03 00:33:38 UTC (rev 6181)
+++ index	2011-06-03 00:48:48 UTC (rev 6182)
@@ -28064,7 +28064,11 @@
   user agent must <a href=#queue-a-task>queue a task</a> to <a href=#fire-a-simple-event>fire a simple
   event</a> named <code title=event-media-durationchange><a href=#event-media-durationchange>durationchange</a></code> at the
   <a href=#media-element>media element</a>. (The event is not fired when the
-  duration is reset as part of loading a new media resource.)</p>
+  duration is reset as part of loading a new media resource.) If the
+  duration is changed such that the <a href=#current-playback-position>current playback
+  position</a> ends up being greater than the time of the end of
+  the <a href=#media-resource>media resource</a>, then the user agent must also <a href=#dom-media-seek title=dom-media-seek>seek</a> the to the time of the end of the
+  <a href=#media-resource>media resource</a>.</p>
 
   <p class=example>If an "infinite" stream ends for some reason,
   then the duration would change from positive Infinity to the time of

Modified: source
===================================================================
--- source	2011-06-03 00:33:38 UTC (rev 6181)
+++ source	2011-06-03 00:48:48 UTC (rev 6182)
@@ -30601,7 +30601,12 @@
   event</span> named <code
   title="event-media-durationchange">durationchange</code> at the
   <span>media element</span>. (The event is not fired when the
-  duration is reset as part of loading a new media resource.)</p>
+  duration is reset as part of loading a new media resource.) If the
+  duration is changed such that the <span>current playback
+  position</span> ends up being greater than the time of the end of
+  the <span>media resource</span>, then the user agent must also <span
+  title="dom-media-seek">seek</span> the to the time of the end of the
+  <span>media resource</span>.</p>
 
   <p class="example">If an "infinite" stream ends for some reason,
   then the duration would change from positive Infinity to the time of