mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-09-21 23:47:35 +03:00
ames: don't set new timer if we woke up too early
Otherwise if we end up having multple outstanding timers, they never coalesce to a single timer.
This commit is contained in:
parent
d0b4d5a02e
commit
ff01a1ea04
@ -1669,6 +1669,11 @@
|
||||
peer-core
|
||||
?~ next-wake.packet-pump-state.u.message-pump-state
|
||||
peer-core
|
||||
:: If we crashed because we woke up too early, assume another
|
||||
:: timer is already set.
|
||||
::
|
||||
?: (lth now.channel u.next-wake.packet-pump-state.u.message-pump-state)
|
||||
peer-core
|
||||
::
|
||||
=/ =wire (make-pump-timer-wire her.channel bone)
|
||||
(emit duct %pass wire %b %wait (add now.channel ~s30))
|
||||
|
Loading…
Reference in New Issue
Block a user