mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
parent
b589735b47
commit
cc48797999
8 changed files with 24 additions and 21 deletions
|
@ -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;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue