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

gall: roundtrip through arvo to revive %hood and %dojo

Browse Source
This commit is contained in:
Ted Blackman 2022-08-16 01:37:35 +03:00
parent 95580f7e83
commit c972c0fbe2
1 changed files with 15 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
pkg/arvo/sys/vane/gall.hoon
View File

@ -288,8 +288,9 @@
++ mo-core . ++ mo-core .
++ mo-abed |=(hun=duct mo-core(hen hun)) ++ mo-abed |=(hun=duct mo-core(hen hun))
++ mo-abet [(flop moves) gall-payload] ++ mo-abet [(flop moves) gall-payload]
++ mo-pass |=(p=[wire note-arvo] mo-core(moves [[hen pass+p] moves]))
++ mo-give |=(g=gift mo-core(moves [[hen give+g] moves])) ++ mo-give |=(g=gift mo-core(moves [[hen give+g] moves]))
++ mo-pass |=(p=[wire note-arvo] mo-core(moves [[hen pass+p] moves]))
++ mo-slip |=(p=note-arvo mo-core(moves [[hen slip+p] moves]))
++ mo-past ++ mo-past
|= =(list [wire note-arvo]) |= =(list [wire note-arvo])
?~ list ?~ list
@ -741,6 +742,15 @@
?. =(nonce.u.yoke i.t.wire) ?. =(nonce.u.yoke i.t.wire)
%- (slog leaf+"gall: got old {<+<.sign-arvo>} for {<dap>}" ~) %- (slog leaf+"gall: got old {<+<.sign-arvo>} for {<dap>}" ~)
mo-core mo-core
:: if agent must be running, revive all needed agents then apply
::
?: ?& ?=(%| -.agent.u.yoke)
?=(?(%dojo %hood) dap)
==
=. mo-core (mo-pass /nowhere %g %jolt %base %hood)
=. mo-core (mo-pass /nowhere %g %jolt %base %dojo)
(mo-pass use+wire %b %huck sign-arvo)
::
?. ?=([?(%gall %behn) %unto *] sign-arvo) ?. ?=([?(%gall %behn) %unto *] sign-arvo)
?: ?=(%| -.agent.u.yoke) ?: ?=(%| -.agent.u.yoke)
%- (slog leaf+"gall: {<dap>} dozing, dropping {<+<.sign-arvo>}" ~) %- (slog leaf+"gall: {<dap>} dozing, dropping {<+<.sign-arvo>}" ~)
@ -921,26 +931,12 @@
:: ::
?. |(!is-running is-blocked) ?. |(!is-running is-blocked)
(mo-apply agent routes deal) (mo-apply agent routes deal)
:: if agent must be running, revive all needed agents and apply :: if agent must be running, revive all needed agents then apply
:: ::
?: ?=(?(%hood %dojo) agent) ?: ?=(?(%hood %dojo) agent)
|^ ^+ mo-core =. mo-core (mo-pass /nowhere %g %jolt %base %hood)
=. mo-core (force-install %hood) =. mo-core (mo-pass /nowhere %g %jolt %base %dojo)
=. mo-core (force-install %dojo) (mo-slip %g %deal [ship our] agent deal)
(mo-apply agent routes deal)
::
++ force-install
|= dap=dude
^+ mo-core
~> %slog.2^leaf/"gall: force load {<dap>}"
~< %slog.2^leaf/"gall: force load {<dap>} succeeded"
=/ bek=beak [our %base da+now]
=/ rag (mo-scry-agent-cage dap q.bek da+now)
?: ?=(%| -.rag)
~> %slog.2^leaf/"gall: force load {<dap>} failed"
(mean p.rag)
(mo-receive-core dap bek p.rag)
--
:: ::
=/ blocked=(qeu blocked-move) =/ blocked=(qeu blocked-move)
=/ waiting (~(get by blocked.state) agent) =/ waiting (~(get by blocked.state) agent)