urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-04 18:43:46 +03:00
Code Issues Packages Projects Releases Wiki Activity

handle bogus agents

Browse Source
This commit is contained in:
midden-fabler 2023-06-04 02:44:04 -04:00
parent 83e60a3c44
commit e90c26dba6
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1466,6 +1466,8 @@
(cat 3 '|' gen)
:((cury cat 3) ':' app '|' gen)
=+ [our=(scot %p our.hid) now=(scot %da now.hid)]
?. .^(? %gu /[our]/[app]/[now]/$)
~
=+ .^(=desk %gd /[our]/[app]/[now]/$)
=/ pfix=path /[our]/[desk]/[now]/gen/[app]
::