- From: poot <cvsmail@w3.org>
- Date: 2011年6月17日 05:55:14 -0400
- To: public-html-diffs@w3.org
- Message-Id: <E1QXVli-0004z1-KG@jay.w3.org>
hixie: Prevent it from being possible to have seeked to after the end of an infinite stream that suddenly stops being infinite. (whatwg r6182) http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.4955&r2=1.4956&f=h http://html5.org/tools/web-apps-tracker?from=6181&to=6182 =================================================================== RCS file: /sources/public/html5/spec/Overview.html,v retrieving revision 1.4955 retrieving revision 1.4956 diff -u -d -r1.4955 -r1.4956 --- Overview.html 3 Jun 2011 00:33:43 -0000 1.4955 +++ Overview.html 3 Jun 2011 00:48:54 -0000 1.4956 @@ -23502,7 +23502,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
Received on Friday, 17 June 2011 09:55:20 UTC