Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-18 13:24:29 +00:00
Code Issues Projects Releases Packages Wiki Activity

Warn when a timer event is processed for a discarded document.

Browse source
This commit is contained in:
Josh Matthews 2016-12-22 16:56:25 -05:00
parent d918c14247
commit 8ca387c0e0
3 changed files with 25 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/script/script_thread.rs
View file

@ -1049,8 +1049,11 @@ impl ScriptThread {
TimerSource::FromWorker => panic!("Worker timeouts must not be sent to script thread"),
};
let window = self.documents.borrow().find_window(pipeline_id)
.expect("ScriptThread: received fire timer msg for a pipeline not in this script thread. This is a bug.");
let window = self.documents.borrow().find_window(pipeline_id);
let window = match window {
Some(w) => w,
None => return warn!("Received fire timer msg for a closed pipeline {}.", pipeline_id),
};
window.handle_fire_timer(id);
}