diff options
| -rw-r--r-- | src/components/script/script_task.rs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/components/script/script_task.rs b/src/components/script/script_task.rs index 4bd981a5291..94a8e134abd 100644 --- a/src/components/script/script_task.rs +++ b/src/components/script/script_task.rs @@ -920,17 +920,16 @@ impl ScriptTask { is a bug."); let page = page_tree.page(); - let last_loaded_url = replace(&mut *page.mut_url(), None); - for loaded in last_loaded_url.iter() { - let (ref loaded, needs_reflow) = *loaded; - if *loaded == url { + match replace(&mut *page.mut_url(), None) { + Some((ref loaded, needs_reflow)) if *loaded == url => { *page.mut_url() = Some((loaded.clone(), false)); if needs_reflow { page.damage(ContentChangedDocumentDamage); page.reflow(ReflowForDisplay, self.chan.clone(), self.compositor); } return; - } + }, + _ => (), } let cx = self.js_context.borrow(); |