mirror of
https://github.com/servo/servo.git
synced 2025-06-19 14:48:59 +01: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 |