- From: Jean-Yves Avenard via GitHub <sysbot+gh@w3.org>
- Date: Sun, 18 Feb 2024 04:41:48 +0000
- To: public-html-media@w3.org
jyavenard has just created a new issue for https://github.com/w3c/media-source: == No handling for when the MediaSource constructed in a DedicatedWorkerGlobalScope goes out of scope == The current "Detaching from a media element" [1] handles the case where the media element is being removed or unusable (transitioned to NETWORK_EMPTY). Such definition is sufficient when the MediaSource wasn't constructed in a DedicatedWorkerGlobakScope, but otherwise isn't the case. a MediaSource constructed in a worker can be deleted at any time, such as when the [DedicatedWorkerGlobalScope](https://html.spec.whatwg.org/multipage/workers.html#dedicatedworkerglobalscope) itself goes out of scope. The steps on what should happen to the HTMLMediaElement remain undefined. [1] https://w3c.github.io/media-source/#mediasource-detach Please view or discuss this issue at https://github.com/w3c/media-source/issues/348 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 18 February 2024 04:41:49 UTC