mirror of
https://github.com/urbit/shrub.git
synced 2024-12-20 09:21:42 +03:00
ames: clean & re-set recork timer during %stir
Pre-release ships may have multiple recork timers. This ensures that, after stir, we always have exactly one.
This commit is contained in:
parent
e2d546c4c2
commit
81462da7aa
@ -1487,6 +1487,8 @@
|
||||
?~ tim acc
|
||||
%- ~(put in acc)
|
||||
[u.tim `^duct`~[ames+(make-pump-timer-wire who b) /ames]]
|
||||
=. want
|
||||
(~(put in want) (add now ~d1) ~[/ames/recork /ames])
|
||||
::
|
||||
=/ have
|
||||
%- ~(gas in *(set [@da ^duct]))
|
||||
@ -1494,7 +1496,7 @@
|
||||
;; (list [@da ^duct])
|
||||
=< q.q %- need %- need
|
||||
(rof ~ %bx [[our %$ da+now] /debug/timers])
|
||||
(skim tim |=([@da hen=^duct] ?=([[%ames %pump *] *] hen)))
|
||||
(skim tim |=([@da hen=^duct] ?=([[%ames ?(%pump %recork) *] *] hen)))
|
||||
::
|
||||
:: set timers for flows that should have one set but don't
|
||||
::
|
||||
|
Loading…
Reference in New Issue
Block a user