mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Add logging for shutting down non-root pipelines in the script thread.
This commit is contained in:
parent
293d465c59
commit
6123ce8649
1 changed files with 1 additions and 0 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue