diff options
| author | Alan Jeffrey <ajeffrey@mozilla.com> | 2016-06-02 15:12:00 -0500 |
|---|---|---|
| committer | Alan Jeffrey <ajeffrey@mozilla.com> | 2016-06-03 20:05:37 -0500 |
| commit | 2416072dc2b264191ab9a6515a8f9c3415849b71 (patch) | |
| tree | 3020ca786a74c4a00d328441fcf5ee4cdea68263 /components/script_traits/script_msg.rs | |
| parent | bdecfa13d2114281472d5df4548a8faaf8a5bd87 (diff) | |
| download | servo-2416072dc2b264191ab9a6515a8f9c3415849b71.tar.gz servo-2416072dc2b264191ab9a6515a8f9c3415849b71.zip | |
Avoid deadlock when shutting down.
Diffstat (limited to 'components/script_traits/script_msg.rs')
| -rw-r--r-- | components/script_traits/script_msg.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/script_traits/script_msg.rs b/components/script_traits/script_msg.rs index d1f56a6e790..241833bc13f 100644 --- a/components/script_traits/script_msg.rs +++ b/components/script_traits/script_msg.rs @@ -110,6 +110,8 @@ pub enum ScriptMsg { TouchEventProcessed(EventResult), /// Get Scroll Offset GetScrollOffset(PipelineId, LayerId, IpcSender<Point2D<f32>>), + /// Notifies the constellation that this pipeline has exited. + PipelineExited(PipelineId), /// Requests that the compositor shut down. Exit, } |