urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-27 18:34:48 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6578 from urbit/master

Browse Source 
Merge clay null tako fix from master back to develop
This commit is contained in:
~wicrum-wicrun 2023-05-10 16:53:08 +02:00 committed by GitHub
commit f0360e69a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkg/arvo/sys/vane/clay.hoon
View File

@ -4492,13 +4492,13 @@
++ read-at-tako :: read-at-tako:ze
|= [for=(unit ship) tak=tako mun=mood] :: seek and read
^- [(unit (unit cage)) _..park]
:: the commit must be known, and reachable from within this desk
:: non-zero commits must be known, and reachable from within this desk
::
?. ?& !=(0v0 tak)
(~(has by hut.ran) tak)
?. ?| =(0v0 tak)
?& (~(has by hut.ran) tak)
(~(has in (reachable-takos (aeon-to-tako:ze let.dom))) tak)
|(?=(~ for) (may-read u.for care.mun tak path.mun))
==
== ==
[~ ..park]
:: virtualize to catch and produce deterministic failures
::