mirror of
https://github.com/servo/servo.git
synced 2025-06-24 09:04:33 +01:00
Wait for any layout tasks to complete in a page tree before a handling a pipeline's exit message.
This commit is contained in:
parent
be5deb2a68
commit
92f6599854
1 changed files with 3 additions and 1 deletions
|
@ -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,
|
// TODO(tkuehn): currently there is only one window,
|
||||||
// so this can afford to be naive and just shut down the
|
// so this can afford to be naive and just shut down the
|
||||||
// compositor. In the future it'll need to be smarter.
|
// compositor. In the future it'll need to be smarter.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue