mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Adds support for terminating DOM workers. A closing flag was added to WorkerGlobalScope per the spec. |
||
---|---|---|
.. | ||
worker_post_block.js | ||
worker_post_interval.js | ||
worker_terminate.html |