diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-02-23 02:16:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-23 02:16:38 -0500 |
| commit | 504eeb803d67864efbaa370a2f4f0db5afe71275 (patch) | |
| tree | c595602986014bd27a4830052376ed760e45771e /components/script/task.rs | |
| parent | ada95b98786fd4bdaefdcf3be7626a85314a7b3a (diff) | |
| parent | a05553f188cb43cb9aa04440795447253261d5b5 (diff) | |
| download | servo-504eeb803d67864efbaa370a2f4f0db5afe71275.tar.gz servo-504eeb803d67864efbaa370a2f4f0db5afe71275.zip | |
Auto merge of #25826 - kunalmohan:25647-OptionalBHM, r=gterzian
Make Background Hang Monitor Optional
This is done by wrapping all channels of communication and related objects inside Option which are configured using flag inside servo_config.
<!-- Please describe your changes on the following line: -->
---
<!-- 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 #25647 (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 'components/script/task.rs')
0 files changed, 0 insertions, 0 deletions