urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-07 05:26:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

four minute ping to eth

Browse Source
This commit is contained in:
Philip Monk 2019-04-22 16:31:33 -07:00
parent a7374361d6
commit 9a83984374
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/vane/jael.hoon
View File

@ -1832,7 +1832,7 @@
:: ::
++ wait-poll ++ wait-poll
?> ?=(%| -.source) ?> ?=(%| -.source)
=+ wen=(add now ~s10) =+ wen=(add now ~m4)
%- put-move(poll-timer.p.source wen) %- put-move(poll-timer.p.source wen)
(wrap-note /poll %b %wait wen) (wrap-note /poll %b %wait wen)
:: ::