diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-07-01 06:57:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-01 06:57:15 -0700 |
| commit | 210265d30f46cbf12142bf7495493a14497ed1f5 (patch) | |
| tree | 00a1cf9f83cce4ef4e37ef8a9c0f93e9d41b22ab /components/script/timers.rs | |
| parent | 736feec0ad14650e21cb899d01e60d168b3e7e2e (diff) | |
| parent | 0078e6c3bbd0244d0de3e9bd9d771d297b012678 (diff) | |
| download | servo-210265d30f46cbf12142bf7495493a14497ed1f5.tar.gz servo-210265d30f46cbf12142bf7495493a14497ed1f5.zip | |
Auto merge of #12030 - servo:exit-now, r=Manishearth
Don't panic in LayoutThread::exit_now() if the paint thread is gone a…
Fixes #11996.
Fixes #12005.
Fixes #12007.
Fixes #12011.
Fixes #12026.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12030)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/timers.rs')
0 files changed, 0 insertions, 0 deletions