diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-26 18:40:21 -0700 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-04-26 18:40:21 -0700 |
| commit | 959dbac0e7ca457d3979ff122ed4686eee209e91 (patch) | |
| tree | 5cdad83422d271f729be700c18d0ce2aebd592ab /components/script/parse/xml.rs | |
| parent | aa078a0780465a4dbf3ce91494f8c55a57359fd3 (diff) | |
| parent | 2a52351de0b16dfe5daa0956a6301949bdff7ca6 (diff) | |
| download | servo-959dbac0e7ca457d3979ff122ed4686eee209e91.tar.gz servo-959dbac0e7ca457d3979ff122ed4686eee209e91.zip | |
Auto merge of #10862 - asajeffrey:only-the-chrome-survives, r=SimonSapin
Don't kill the root pipeline when randomly killing pipelines.
Useful for stress-testing the browser chrome, e.g. testing #10334.
<!-- 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/10862)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/parse/xml.rs')
0 files changed, 0 insertions, 0 deletions