mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +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 |