- 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