Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Avoid deadlock when shutting down.

Browse source
This commit is contained in:
Alan Jeffrey 2016-06-02 15:12:00 -05:00
parent bdecfa13d2
commit 2416072dc2
7 changed files with 92 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script_traits/script_msg.rs
View file

@ -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,
}