- From: Harald Alvestrand <harald@alvestrand.no>
- Date: Tue, 09 Apr 2013 12:59:42 +0200
- To: robert@ocallahan.org
- CC: Martin Thomson <martin.thomson@gmail.com>, "public-media-capture@w3.org" <public-media-capture@w3.org>
- Message-ID: <5163F49E.2080805@alvestrand.no>
On 04/09/2013 12:30 PM, Robert O'Callahan wrote: > On Tue, Apr 9, 2013 at 8:05 PM, Harald Alvestrand > <harald@alvestrand.no <mailto:harald@alvestrand.no>> wrote: > > Or we could just remove MediaStream.ended entirely, and say it's > the app's business to query all the tracks if it wants to. > > > We need to define an ended state for MediaStreams so that we know when > a media element with a MediaStream source should enter its ended > state. Furthermore, it should not suddenly leave its ended state > because a new track is added to the MediaStream ... that would be weird. > > Alternatively I suppose we could define that a media element with a > MediaStream source never ends, only pauses while all MediaStream > tracks are ended. However, it seems to me that it's useful to allow a > media element with a MediaStream source to end. Hmmm.... I'm trying to parse the media element spec, and it says that it's ended when its input has reached the end of the medium - but I can't tell if there's the option of manually rewinding the input, or if it's possible for a media source to change the position of the end after the media element has ended. Is it possible for a media element to become un-ended after having been ended? > > Rob > -- > q“qIqfq qyqoquq qlqoqvqeq qtqhqoqsqeq qwqhqoq qlqoqvqeq qyqoquq,q > qwqhqaqtq qcqrqeqdqiqtq qiqsq qtqhqaqtq qtqoq qyqoquq?q qEqvqeqnq > qsqiqnqnqeqrqsq qlqoqvqeq qtqhqoqsqeq qwqhqoq qlqoqvqeq qtqhqeqmq.q > qAqnqdq qiqfq qyqoquq qdqoq qgqoqoqdq qtqoq qtqhqoqsqeq qwqhqoq > qaqrqeq qgqoqoqdq qtqoq qyqoquq,q qwqhqaqtq qcqrqeqdqiqtq qiqsq > qtqhqaqtq qtqoq qyqoquq?q qEqvqeqnq qsqiqnqnqeqrqsq qdqoq qtqhqaqtq.q"
Received on Tuesday, 9 April 2013 11:00:12 UTC