diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2013-10-01 21:39:31 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2013-10-02 01:43:08 -0400 |
| commit | 92f6599854876f8c2beb51434b7188c89cba297b (patch) | |
| tree | 3025a8c16830abfa1df61c2a162959b6bbf1a2b2 /src/components/script/script_task.rs | |
| parent | be5deb2a680524b7f802d20bb058175b3853489b (diff) | |
| download | servo-92f6599854876f8c2beb51434b7188c89cba297b.tar.gz servo-92f6599854876f8c2beb51434b7188c89cba297b.zip | |
Wait for any layout tasks to complete in a page tree before a handling a pipeline's exit message.
Diffstat (limited to 'src/components/script/script_task.rs')
| -rw-r--r-- | src/components/script/script_task.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/components/script/script_task.rs b/src/components/script/script_task.rs index 5edec50a324..8ca1eb4a5bf 100644 --- a/src/components/script/script_task.rs +++ b/src/components/script/script_task.rs @@ -629,7 +629,9 @@ impl ScriptTask { } } - fn handle_exit_window_msg(&mut self, _id: PipelineId) -> bool { + fn handle_exit_window_msg(&mut self, id: PipelineId) -> bool { + self.handle_exit_pipeline_msg(id); + // TODO(tkuehn): currently there is only one window, // so this can afford to be naive and just shut down the // compositor. In the future it'll need to be smarter. |