urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-20 09:21:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

eyre: fix for %trim bug - addendum

Browse Source 
Broader, more direct solution.
This commit is contained in:
bacwyls 2022-07-08 17:10:41 -07:00 committed by GitHub
parent c8fafa53bd
commit 49b837f5e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/arvo/sys/vane/eyre.hoon
View File

@ -2178,7 +2178,7 @@
:: XX cancel active too if =(0 trim-priority) ? :: XX cancel active too if =(0 trim-priority) ?
:: ::
?: ?=(%trim -.task) ?: ?=(%trim -.task)
=/ event-args [[eny duct now rof] server-state.ax] =* event-args [[eny duct now rof] server-state.ax]
=* by-channel by-channel:(per-server-event event-args) =* by-channel by-channel:(per-server-event event-args)
=* channel-state channel-state.server-state.ax =* channel-state channel-state.server-state.ax
:: ::
@ -2196,8 +2196,6 @@
:: ::
=| moves=(list (list move)) =| moves=(list (list move))
|- ^- [(list move) _http-server-gate] |- ^- [(list move) _http-server-gate]
=/ event-args [[eny duct now rof] server-state.ax]
=* by-channel by-channel:(per-server-event event-args)
=* channel-id i.inactive =* channel-id i.inactive
?~ inactive ?~ inactive
[(zing (flop moves)) http-server-gate] [(zing (flop moves)) http-server-gate]