diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2016-05-10 12:12:36 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2016-05-11 08:34:49 -0400 |
| commit | 6123ce8649db984404bfa6e2fbafc08b0856d199 (patch) | |
| tree | 938b62150ee954298b36aac30abdfa2945315c7f /components/script/script_thread.rs | |
| parent | 293d465c59bda315ea1a7e789c6fa9ab4d48f5e2 (diff) | |
| download | servo-6123ce8649db984404bfa6e2fbafc08b0856d199.tar.gz servo-6123ce8649db984404bfa6e2fbafc08b0856d199.zip | |
Add logging for shutting down non-root pipelines in the script thread.
Diffstat (limited to 'components/script/script_thread.rs')
| -rw-r--r-- | components/script/script_thread.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/script/script_thread.rs b/components/script/script_thread.rs index a3b374ac161..1d3bc4c4bcf 100644 --- a/components/script/script_thread.rs +++ b/components/script/script_thread.rs @@ -1358,6 +1358,7 @@ impl ScriptThread { // otherwise find just the matching page and exit all sub-pages if let Some(ref mut child_page) = page.remove(id) { + debug!("shutting down layout for child context {:?}", id); shut_down_layout(&*child_page); } false |