- From: <bugzilla@jessica.w3.org>
- Date: Wed, 15 Aug 2012 15:26:23 +0000
- To: public-html-bugzilla@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=18578 Summary: Checking if sourceBuffers is empty in removeSourceBuffer is redundant Product: HTML WG Version: unspecified Platform: PC OS/Version: Linux Status: NEW Severity: normal Priority: P2 Component: Media Source Extensions AssignedTo: adrianba@microsoft.com ReportedBy: philipj@opera.com QAContact: public-html-bugzilla@w3.org CC: mike@w3.org, public-html-media@w3.org http://dvcs.w3.org/hg/html-media/raw-file/tip/media-source/media-source.html#dom-removesourcebuffer 2. If sourceBuffers is empty then throw an INVALID_STATE_ERR exception and abort these steps. 3. If sourceBuffer specifies an object that is not in sourceBuffers then throw a NOT_FOUND_ERR exception and abort these steps. Removing step 2 completely would seem cleaner, unless special-casing the empty list helps API users or implementors in some way. -- Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.
Received on Wednesday, 15 August 2012 15:26:24 UTC