[Webkit-unassigned] [Bug 176840] Media elements do not continue playing when moved in the DOM.

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Sep 14 05:34:30 PDT 2017


https://bugs.webkit.org/show_bug.cgi?id=176840

--- Comment #1 from Eric Carlson <eric.carlson at apple.com> ---
It looks like we are pausing the element to early:

https://dev.w3.org/html5/spec-preview/media-elements.html#playing-the-media-resource

When a media element is removed from a Document, the user agent must run the following steps:

  1. Asynchronously await a stable state, allowing the task that removed the media element from the Document to continue. The synchronous section consists of all the remaining steps of this algorithm. (Steps in the synchronous section are marked with ⌛.)

  2. ⌛ If the media element is in a Document, abort these steps.

  3. ⌛ If the media element's networkState attribute has the value NETWORK_EMPTY, abort these steps.

  4. ⌛ Pause the media element.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20170914/563a8230/attachment.html>


More information about the webkit-unassigned mailing list