diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-05-30 11:59:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-30 11:59:20 -0400 |
| commit | 5dae012db80deb2ebb1c5589bbddf3e35f730842 (patch) | |
| tree | 807a7e804cc240135c211a40f9e05f6fec6309a4 /python/servo/command_base.py | |
| parent | dafcee4c2e657584b66e452408fe9fc8e3d16a53 (diff) | |
| parent | fa765168b9d14c08950515774e78851aeffacfe2 (diff) | |
| download | servo-5dae012db80deb2ebb1c5589bbddf3e35f730842.tar.gz servo-5dae012db80deb2ebb1c5589bbddf3e35f730842.zip | |
Auto merge of #26678 - gterzian:shutdown_net_runtime, r=Manishearth
Net: shutdown async runtime on exit
<!-- Please describe your changes on the following line: -->
Shutting down the async runtime as part of exiting the core resource thread.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because ___
<!-- 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. -->
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions