ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-21 13:51:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

dbug,spider: fix type errors; ship boots

Browse Source
This commit is contained in:
Ted Blackman 2021-06-25 20:46:36 -04:00 committed by yosoyubik
parent a4ae79e794
commit c63732cd77
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/arvo/app/spider.hoon
View File

@ -607,7 +607,7 @@
==
:_ state
%+ murn ~(tap by wex.bowl)
|= [[=wire =ship =term] [acked=? =path]]
|= [[=wire =ship =term] [acked=? =path nonce=@]]
^- (unit card)
?. ?& ?=([%thread @ *] wire)
=(tid i.t.wire)

2
pkg/base-dev/lib/dbug.hoon
View File

@ -84,7 +84,7 @@
%+ sort ~(tap by wex.bowl)
|= [[[a=wire *] *] [[b=wire *] *]]
(aor a b)
|= [[=wire =ship =term] [acked=? =path]]
|= [[=wire =ship =term] [acked=? =path nonce=@]]
^- (unit tank)
=; relevant=?
?. relevant ~