Files
servo/components/script/dom
bors-servo 9c484452c0 Auto merge of #20068 - paavininanda:autocloseworker, r=jdm
added AutoCloseWorker for closing related workers when a page/another worker is closed.

<!-- Please describe your changes on the following line: -->
Followed steps as suggested in issue.
Error is not yet resolved!

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #17977 (https://github.com/servo/servo/issues/17977?).

<!-- Either: -->
- [x] These changes do not require tests because it will have manual test case.

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/20068)
<!-- Reviewable:end -->
2018-02-22 13:34:55 -05:00
..
2018-02-13 09:40:06 +01:00
2017-08-23 21:38:44 +02:00
2018-01-26 01:18:54 +08:00
2017-10-16 17:16:20 +02:00
2017-09-26 09:49:10 +02:00
2017-10-16 17:16:20 +02:00
2017-10-16 17:16:20 +02:00
2017-10-16 17:16:20 +02:00
2018-02-13 09:12:00 +01:00
2017-10-16 17:16:20 +02:00
2017-10-16 17:16:20 +02:00
2017-10-16 17:16:20 +02:00
2018-02-22 21:34:53 +05:30
2018-02-13 09:40:06 +01:00
2018-02-13 09:40:06 +01:00
2018-02-13 09:40:06 +01:00
2017-10-16 17:16:20 +02:00
2017-09-26 09:49:10 +02:00
2018-02-11 08:02:39 +01:00
2017-08-23 17:16:30 +02:00
2018-02-13 09:12:00 +01:00
2017-09-06 13:33:30 +02:00
2017-09-06 13:33:30 +02:00
2017-09-26 09:49:10 +02:00
2017-11-16 13:36:22 +08:00
2017-10-16 17:16:20 +02:00
2017-10-16 17:16:20 +02:00
2017-10-16 17:16:20 +02:00
2017-03-13 21:57:50 +08:00
2017-10-16 17:16:20 +02:00
2017-10-27 12:53:11 +02:00
2018-02-22 21:34:53 +05:30
2018-02-13 09:40:06 +01:00