ames,gall: fix lopsided bitt/boar state from old doffs

This commit is contained in:
Ted Blackman 2022-08-06 00:09:04 +03:00
parent b21ffd9cfa
commit 4edb247cd7
2 changed files with 15 additions and 3 deletions

View File

@ -2585,6 +2585,14 @@
++ run-message-pump
|= [=bone task=message-pump-task]
^+ peer-core
?: ?& (~(has in closing.peer-state) bone)
!=(task [%memo (dedup-message (jim [%$ /flow [%cork ~]]))])
==
~& memo-on-closing-bone/bone
peer-core
?: (~(has in corked.peer-state) bone)
~& memo-on-closed-bone/bone
peer-core
:: pass .task to the |message-pump and apply state mutations
::
=/ =message-pump-state

View File

@ -443,9 +443,13 @@
|- ^+ ap-core
?~ subs ap-core
=+ [wyr dok]=i.subs
=. wyr :_(wyr (scot %ud (~(got by boar.yok) wyr dok)))
~> %slog.[0 leaf+"gall: +ap-kill-down {<dap>} {<dok>}"]
$(subs t.subs, ap-core (ap-kill-down:ap-core wyr dok))
=/ let (~(got by boar.yok) wyr dok)
|- ^+ ap-core
~> %slog.[0 leaf+"gall: +ap-kill-down {<dap>} {<dok>} {<let>}"]
?: =(0 let)
^$(subs t.subs, ap-core (ap-kill-down:ap-core wyr dok))
=. ap-core (ap-kill-down:ap-core [(scot %ud let) wyr] dok)
$(let (dec let))
$(apps t.apps, mo-core ap-abet:ap-core)
:: +mo-receive-core: receives an app core built by %ford.
::