W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > January 2011

[Bug 10723] support for media fragment URIs in relevant HTML5 elements

From: <bugzilla@jessica.w3.org>
Date: Wed, 12 Jan 2011 11:09:48 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1PcyaK-0003HL-23@jessica.w3.org>

--- Comment #12 from RaphaŽl Troncy <raphael.troncy@eurecom.fr> 2011-01-12 11:09:47 UTC ---
(In reply to comment #11)
> For comment 10 issue 1: the spec already says as much as it needs to say on the
> subject: "If either the media resource or the address of the current media
> resource indicate a particular start time, then set the initial playback
> position to that time and then seek seek to that time." (in the resource fetch
> algorithm)

A media fragment has a start time and a stop time. Should you not write as well
that the playback MUST stop at the end of the fragment and not at the end of
the media resource?

Configure bugmail: http://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, 12 January 2011 11:09:49 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 16:31:03 UTC