ames: fix predicate for detecting %cork acks

This commit is contained in:
yosoyubik 2022-07-16 07:40:05 +02:00
parent c599e60c5b
commit 35c6ac416e

View File

@ -2626,6 +2626,7 @@
rcv (~(del by rcv) bone) rcv (~(del by rcv) bone)
corked (~(put in corked) bone) corked (~(put in corked) bone)
closing (~(del in closing) bone) closing (~(del in closing) bone)
krocs (~(del in krocs) bone)
by-duct.ossuary (~(del by by-duct.ossuary) (got-duct bone)) by-duct.ossuary (~(del by by-duct.ossuary) (got-duct bone))
by-bone.ossuary (~(del by by-bone.ossuary) bone) by-bone.ossuary (~(del by by-bone.ossuary) bone)
== ==
@ -2927,6 +2928,7 @@
?& closing ?& closing
?=(^ top-live) ?=(^ top-live)
=(0 ~(wyt in unsent-messages.state)) =(0 ~(wyt in unsent-messages.state))
=(0 (lent unsent-fragments.state))
=(1 ~(wyt by live.packet-pump-state.state)) =(1 ~(wyt by live.packet-pump-state.state))
=(message-num:task message-num.key.u.top-live) =(message-num:task message-num.key.u.top-live)
== ==