Merge pull request #6756 from urbit/pkova/dead-flow-fix

ames: fix bug in dead flow consolidation
This commit is contained in:
Pyry Kovanen 2023-08-21 18:29:39 +03:00 committed by GitHub
commit a1f9374145
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2464,7 +2464,9 @@
?~ peer-state core
%- ~(rep by snd.u.peer-state)
|= [[=bone =message-pump-state] cor=_core]
?. =(~m2 rto.metrics.packet-pump-state.message-pump-state)
?. ?& =(~m2 rto.metrics.packet-pump-state.message-pump-state)
?=(^ next-wake.packet-pump-state.message-pump-state)
==
cor
abet:(on-wake:(abed-peer:pe:cor ship u.peer-state) bone error)
::