diff options
| author | Prabhjyot Singh Sodhi <prabhjyotsingh95@gmail.com> | 2015-02-18 17:17:16 +0530 |
|---|---|---|
| committer | Prabhjyot Singh Sodhi <prabhjyotsingh95@gmail.com> | 2015-02-22 00:27:16 +0530 |
| commit | cc487979994ec637a3d37f9a3e5edb4a56e7a379 (patch) | |
| tree | 868be0c79483be076f35006c4257c84de8958102 /components/script/timers.rs | |
| parent | b589735b47e0c8c9b008831a776a6db38b38cd5d (diff) | |
| download | servo-cc487979994ec637a3d37f9a3e5edb4a56e7a379.tar.gz servo-cc487979994ec637a3d37f9a3e5edb4a56e7a379.zip | |
Fixing Intermittent failure in pages with timers
Fixes #4923
Diffstat (limited to 'components/script/timers.rs')
| -rw-r--r-- | components/script/timers.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/components/script/timers.rs b/components/script/timers.rs index 8f361ebcb7b..0b8d7117022 100644 --- a/components/script/timers.rs +++ b/components/script/timers.rs @@ -149,7 +149,10 @@ impl TimerManager { let id = select.wait(); if id == timeout_handle.id() { timeout_port.recv().unwrap(); - script_chan.send(ScriptMsg::FireTimer(source, TimerId(handle))); + if script_chan.send(ScriptMsg::FireTimer(source, TimerId(handle))).is_err() { + break; + } + if is_interval == IsInterval::NonInterval { break; } |