diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-19 21:58:07 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-19 21:58:07 +0530 |
commit | bd4b3a66a2aa57ab6fa881e3cc11091edc494a68 (patch) | |
tree | f2edb90e871a28806a7a25295bb156ddb18543e6 /python/tidy | |
parent | 3d4416e1b0ae758e68900f725979238cc0128f8b (diff) | |
parent | cfb066ef2024f05a13da842cedf833a8aa2e8cbe (diff) | |
download | servo-bd4b3a66a2aa57ab6fa881e3cc11091edc494a68.tar.gz servo-bd4b3a66a2aa57ab6fa881e3cc11091edc494a68.zip |
Auto merge of #10641 - asajeffrey:dedicated-panic-channel, r=Manishearth
Dedicated panic channel
Added a dedicated panic channel, and removed the panic messages for the script and layout threads. This is needed so that other threads can report panics, which is part of #10334.
Note that this PR includes the commit from #10572, so should land after it lands.
r? @Manishearth
<!-- 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/10641)
<!-- Reviewable:end -->
Diffstat (limited to 'python/tidy')
0 files changed, 0 insertions, 0 deletions