On Tue, Apr 9, 2013 at 8:05 PM, Harald Alvestrand <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.
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"