diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-29 12:42:01 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2016-03-29 12:42:01 +0530 |
| commit | aac2da75f40f4c55a4b450b6d9d134429fcf741e (patch) | |
| tree | 46b3d933d44726121af4f4079a80282b7b73018e /components/script_traits/lib.rs | |
| parent | ddc57fe641c3940ecdad98297ac5b2ff95c3340c (diff) | |
| parent | a5a299ea881cc589511f8a03f63d53f4b39cdf66 (diff) | |
| download | servo-aac2da75f40f4c55a4b450b6d9d134429fcf741e.tar.gz servo-aac2da75f40f4c55a4b450b6d9d134429fcf741e.zip | |
Auto merge of #8641 - notriddle:no_headless, r=glennw
No more headless compositor. Just the normal one.
Fixes #8573
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8641)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script_traits/lib.rs')
| -rw-r--r-- | components/script_traits/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/script_traits/lib.rs b/components/script_traits/lib.rs index 6aeca4068ec..e61c83b4e6b 100644 --- a/components/script_traits/lib.rs +++ b/components/script_traits/lib.rs @@ -365,6 +365,8 @@ pub enum ScriptToCompositorMsg { TouchEventProcessed(EventResult), /// Requests that the compositor shut down. Exit, + /// Allow the compositor to free script-specific resources. + Exited, } /// Whether a DOM event was prevented by web content |