diff options
| author | bors-servo <release+servo@mozilla.com> | 2013-10-01 23:54:50 -0700 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2013-10-01 23:54:50 -0700 |
| commit | 096af85834e25d86487e82851331d93374782eac (patch) | |
| tree | 5328d6b8d7b67e7fd2a58e9c714d17a323913295 /src/components/script/script_task.rs | |
| parent | be5deb2a680524b7f802d20bb058175b3853489b (diff) | |
| parent | 499935b77e8bc9e6a1f23fad985543cdbd72ff75 (diff) | |
| download | servo-096af85834e25d86487e82851331d93374782eac.tar.gz servo-096af85834e25d86487e82851331d93374782eac.zip | |
auto merge of #1005 : jdm/servo/failfixes, r=metajack
Fixes #1004. I haven't seen the other ones be reported, but I saw often saw `task <unnamed> failed at 'RenderChan.send: render port closed', /home/jdm/sdb/servo/src/components/gfx/render_task.rs:76`, `task <unnamed> failed at 'receiving on closed channel', /home/jdm/sdb/servo/src/compiler/rust/src/libstd/rt/comm.rs:487`, and failed assertions due to layout running after we had begun tearing down the window.
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. |