diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-03-30 07:31:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-30 07:31:02 -0500 |
| commit | a3d968833ba3653dd2b91f67adeb6c3faa1a256c (patch) | |
| tree | fc9c1ac473a2059789fc2158bc972afa14fe6daa /components/layout/construct.rs | |
| parent | 6a795f4795f936789a3f34ad87a367e52cf1bf97 (diff) | |
| parent | fb878f33d1a15425c59f94ce5202010c5400f9ed (diff) | |
| download | servo-a3d968833ba3653dd2b91f67adeb6c3faa1a256c.tar.gz servo-a3d968833ba3653dd2b91f67adeb6c3faa1a256c.zip | |
Auto merge of #16184 - ferjm:issue-16153-terminate-time-scheduler-shutdown, r=jdm
Terminate timer scheduler thread during shutdown
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #16153
<!-- 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/16184)
<!-- Reviewable:end -->
Diffstat (limited to 'components/layout/construct.rs')
0 files changed, 0 insertions, 0 deletions