1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-11 16:35:33 +01:00
Commit graph

1 commit

Author SHA1 Message Date
Joe Wilm
229b176321 Implement Worker#terminate() (fixes ).
Adds support for terminating DOM workers. A closing flag was added to
WorkerGlobalScope per the spec.
2016-04-07 18:54:32 -04:00