mirror of
https://github.com/urbit/shrub.git
synced 2024-11-28 13:54:20 +03:00
gall: fix request queue desynchronization bug
This commit is contained in:
parent
081c4579b2
commit
22295f08fb
@ -680,12 +680,9 @@
|
||||
:: note this should only happen on reverse bones, so only facts
|
||||
:: and kicks
|
||||
::
|
||||
=/ sys-wire [%sys wire]
|
||||
:: TODO: %drip %kick so app crash can't kill the remote %pull
|
||||
::
|
||||
=/ =ames-request-all [%0 %u ~]
|
||||
=. mo-core
|
||||
(mo-pass sys-wire %a %plea ship %g /ge/[foreign-agent] ames-request-all)
|
||||
=. mo-core (mo-send-foreign-request ship foreign-agent %leave ~)
|
||||
=. mo-core (mo-give %unto %kick ~)
|
||||
mo-core
|
||||
==
|
||||
|
Loading…
Reference in New Issue
Block a user