[Webkit-unassigned] [Bug 64617] New: <video> element not in a document should not be collected while playing
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Fri Jul 15 12:40:31 PDT 2011
https://bugs.webkit.org/show_bug.cgi?id=64617
Summary: <video> element not in a document should not be
collected while playing
Product: WebKit
Version: 528+ (Nightly build)
Platform: All
OS/Version: All
Status: NEW
Severity: Normal
Priority: P2
Component: Media Elements
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: eric.carlson at apple.com
CC: jer.noble at apple.com
According to http://www.w3.org/TR/html5/video.html#media-playback, media elements that are not in the document should not be collected while not paused:
Media elements that are potentially playing while not in a Document must not play
any video, but should play any audio component. Media elements must not stop
playing just because all references to them have been removed; only once a media
element is in a state where no further audio could ever be played by that element
may the element be garbage collected.
JSNodeCustom.cpp is supposed to do this, but it only considers <audio> elements.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list