- From: Aaron Colwell <acolwell@google.com>
- Date: Tue, 18 Sep 2012 12:56:35 -0700
- To: "<public-html-media@w3.org>" <public-html-media@w3.org>
Received on Tuesday, 18 September 2012 19:57:03 UTC
Hi,
I just realized I forgot to notify people that I had made changes to the
Media Source Extensions spec last week. I intend to follow up with more
changes this week.
Summary of changes made on September 13th:
- Added a step to endOfStream() to queue & fire the sourceended event.
- Updated endOfStream("network") to change behavior based on
HTMLMediaElement.readyState. (Bug
18624<https://www.w3.org/Bugs/Public/show_bug.cgi?id=18624>
)
- Updated endOfStream("decode") to change behavior based on
HTMLMediaElement.readyState.(Bug
18622<https://www.w3.org/Bugs/Public/show_bug.cgi?id=18622>
)
- Updated append() MEDIA_ERR_DECODE text to call endOfStream("decode").(Bug
18660 <https://www.w3.org/Bugs/Public/show_bug.cgi?id=18660>)
Diffs: http://dvcs.w3.org/hg/html-media/rev/349559debcc3
Aaron
Received on Tuesday, 18 September 2012 19:57:03 UTC