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?<br>-- when the element leaves the document?
<br>-- when all JS references to the element have been dropped (and garbage collection runs)?<br>-- when the user leaves the page?<br>-- when the end of the stream is reached? (which could be "never")<br><br clear="all">
Rob<br>-- <br>"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]