mirror of
https://github.com/servo/servo
synced 2026-05-12 01:46:28 +02:00
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 -->