mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-31 06:05:44 +00:00
b4b5f371df
Adds support for terminating DOM workers. A closing flag was added to WorkerGlobalScope per the spec. Rebased #6652, with some comments addressed. Fixes #4427. Source-Repo: https://github.com/servo/servo Source-Revision: c0aa049b0aaf39df979234dff1ed01ff5d9aa5c5 |
||
---|---|---|
.. | ||
worker_post_block.js | ||
worker_post_interval.js | ||
worker_terminate.html |