[whatwg] When to stop <video> elements from playing

Suppose a script creates a <video> element, adds it to the document, starts
it playing, then removes the element from the document and drops all
references to it. When should the element stop playing?
-- when the element leaves the document?
-- when all JS references to the element have been dropped (and garbage
collection runs)?
-- when the user leaves the page?
-- when the end of the stream is reached? (which could be "never")

Rob
-- 
"Two men owed money to a certain moneylender. One owed him five hundred
denarii, and the other fifty. Neither of them had the money to pay him back,
so he canceled the debts of both. Now which of them will love him more?"
Simon replied, "I suppose the one who had the bigger debt canceled." "You
have judged correctly," Jesus said. [Luke 7:41-43]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.whatwg.org/pipermail/whatwg-whatwg.org/attachments/20071019/11254bc4/attachment.htm>

Received on Thursday, 18 October 2007 15:28:40 UTC