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

[Bug 18577] New: Redundant requirements to seek when duration changes

From: <bugzilla@jessica.w3.org>
Date: Wed, 15 Aug 2012 15:05:19 +0000
To: public-html-media@w3.org
Message-ID: <bug-18577-5436@http.www.w3.org/Bugs/Public/>

           Summary: Redundant requirements to seek when duration changes
           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


"If the current playback position is beyond the new duration, then update
HTMLMediaElement.currentTime to the new duration and run the seeking


"If the duration is changed such that the current playback position ends up
being greater than the time of the end of the media resource, then the user
agent must also seek the to the time of the end of the media resource."

It would be possible to just remove the redundant requirement from MSE, but
referencing HTML in a note for clarity is also fine.

(Also, the quoted text looks a lot like an implementation requirement in what
is actually a non-normative overview.)

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:05:20 UTC

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