mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
abort parser, if any, when pipeline exits
This commit is contained in:
parent
d553158e95
commit
1fab2416d7
1 changed files with 6 additions and 0 deletions
|
@ -2876,6 +2876,12 @@ impl ScriptThread {
|
|||
}
|
||||
}
|
||||
|
||||
// Abort the parser, if any,
|
||||
// to prevent any further incoming networking messages from being handled.
|
||||
if let Some(parser) = document.get_current_parser() {
|
||||
parser.abort();
|
||||
}
|
||||
|
||||
// We discard the browsing context after requesting layout shut down,
|
||||
// to avoid running layout on detached iframes.
|
||||
let window = document.window();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue