mirror of
https://github.com/urbit/shrub.git
synced 2025-01-02 01:25:55 +03:00
Changed debug poke 'check' to always give some information.
This commit is contained in:
parent
bd46499dab
commit
55715fcd5d
@ -2255,13 +2255,12 @@
|
||||
?: =(a 'check')
|
||||
~& 'verifying message reference integrity...'
|
||||
=- ~&(- [~ +>.$])
|
||||
~& [%count--lent count (lent grams)]
|
||||
=+ %- ~(rep by known)
|
||||
|= {{u/serial a/@ud} k/@ud m/@ud}
|
||||
:- ?:((gth a k) a k)
|
||||
?: =(u uid:(snag (sub count +(a)) grams)) m +(m)
|
||||
:^ %check-talk
|
||||
count=count
|
||||
lent=(lent grams)
|
||||
:- %check-talk
|
||||
[known=k mismatch=m]
|
||||
?: =(a 'rebuild')
|
||||
~& 'rebuilding message references...'
|
||||
|
Loading…
Reference in New Issue
Block a user