[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 git-svn-id: http://svn.whatwg.org/webapps@6182 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Jun 3, 2011 · 52b5e03 · 52b5e03
1 parent d01c35c
commit 52b5e03
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 3 deletions.
diff --git a/complete.html b/complete.html
@@ -28075,7 +28075,11 @@ <h5 id=offsets-into-the-media-resource><span class=secno>4.8.10.6 </span>Offsets
   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

diff --git a/index b/index
@@ -28064,7 +28064,11 @@ interface <dfn id=htmlaudioelement>HTMLAudioElement</dfn> : <a href=#htmlmediael
   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

diff --git a/source b/source
@@ -30601,7 +30601,12 @@ interface <dfn>HTMLAudioElement</dfn> : <span>HTMLMediaElement</span> {};</pre>
   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