diff options
| author | Joe Wilm <jdwilm@gmail.com> | 2015-04-25 21:33:25 -0700 |
|---|---|---|
| committer | Keith Yeung <kungfukeith11@gmail.com> | 2016-04-07 18:54:32 -0400 |
| commit | 229b1763217cf980d70cd9bf45c1469850b25dff (patch) | |
| tree | 61146a81bb0df70e7ad09ef3c6f25968815dd846 /components/script/dom/htmlselectelement.rs | |
| parent | dc3f199043d4cf74b83f33c94960e199c0cfa7b3 (diff) | |
| download | servo-229b1763217cf980d70cd9bf45c1469850b25dff.tar.gz servo-229b1763217cf980d70cd9bf45c1469850b25dff.zip | |
Implement Worker#terminate() (fixes #4427).
Adds support for terminating DOM workers. A closing flag was added to
WorkerGlobalScope per the spec.
Diffstat (limited to 'components/script/dom/htmlselectelement.rs')
0 files changed, 0 insertions, 0 deletions