Merge branch 'dist' of github.com:urbit/urbit into dist

This commit is contained in:
Hunter Miller 2021-09-29 15:05:24 -05:00
commit 36a29eec8a
2 changed files with 7 additions and 2 deletions

View File

@ -297,7 +297,7 @@
mo-core
=. mo-core (mo-pass i.list)
$(list t.list)
:: +mo-jolt: start agent if not already started
:: +mo-jolt: (re)start agent if not already started on this desk
::
++ mo-jolt
|= [dap=term =ship =desk]
@ -307,6 +307,8 @@
(mo-boot dap ship desk)
?. -.agent.u.yak
(mo-boot dap ship desk)
?. =(desk q.beak.u.yak)
(mo-boot dap ship desk)
mo-core
:: +mo-boot: ask %ford to build us a core for the specified agent.
::

View File

@ -219,7 +219,10 @@
^- (quip card _state)
=* cha ~(. ch desk)
?. docket-exists:cha
~? !=(%base desk) [dap.bowl %no-docket-file-for desk]
~? ?& !=(%base desk)
!=(%kids desk)
==
[dap.bowl %no-docket-file-for desk]
`state
:: always update the docket in state to match clay's
::