diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-08 05:01:18 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-08 05:01:18 +0530 |
| commit | c0aa049b0aaf39df979234dff1ed01ff5d9aa5c5 (patch) | |
| tree | b2182e44f36fbb4655d113e8cac817cdfa305f24 /components/script/dom/htmlselectelement.rs | |
| parent | eda8784c34012b1916b524fb7afd7707c795c5e7 (diff) | |
| parent | 229b1763217cf980d70cd9bf45c1469850b25dff (diff) | |
| download | servo-c0aa049b0aaf39df979234dff1ed01ff5d9aa5c5.tar.gz servo-c0aa049b0aaf39df979234dff1ed01ff5d9aa5c5.zip | |
Auto merge of #9688 - KiChjang:worker-terminate, r=jdm
Implement Worker#terminate() (fixes #4427).
Adds support for terminating DOM workers. A closing flag was added to
WorkerGlobalScope per the spec.
Rebased #6652, with some comments addressed.
Fixes #4427.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9688)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlselectelement.rs')
0 files changed, 0 insertions, 0 deletions