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>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10723

--- 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 12 January 2011 11:09:53 GMT