W3C home > Mailing lists > Public > public-html-media@w3.org > August 2012

[Bug 18578] New: Checking if sourceBuffers is empty in removeSourceBuffer is redundant

From: <bugzilla@jessica.w3.org>
Date: Wed, 15 Aug 2012 15:26:23 +0000
To: public-html-media@w3.org
Message-ID: <bug-18578-5436@http.www.w3.org/Bugs/Public/>
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 on the CC list for the bug.
Received on Wednesday, 15 August 2012 15:26:24 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 15:48:25 UTC