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

ames: fix faulty bunted state in +abed

Browse Source
This commit is contained in:
yosoyubik 2023-03-25 16:58:03 +01:00
parent 140e5d2b5f
commit c9124e9fd0
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkg/arvo/sys/vane/ames.hoon
View File

@ -2792,7 +2792,9 @@
+| %helpers +| %helpers
:: ::
++ pump . ++ pump .
++ abed |=(^bone pump(state (~(gut by snd.peer-state) +< *_state))) ++ abed
|= =^bone
pump(state (~(gut by snd.peer-state) bone *message-pump-state))
++ abet ++ abet
:: if the bone was corked, it's been removed from the state, :: if the bone was corked, it's been removed from the state,
:: so we avoid adding it again. :: so we avoid adding it again.
@ -2827,8 +2829,7 @@
:: sanity check to isolate error cases :: sanity check to isolate error cases
:: ::
?. |(?=(~ top) (lte current.state message-num.key.u.top)) ?. |(?=(~ top) (lte current.state message-num.key.u.top))
~| [%strange-current current=current.state key.u.top] ~|([%strange-current current=current.state key.u.top] !!)
!!
:: maybe trigger a timer based on congestion control calculations :: maybe trigger a timer based on congestion control calculations
:: ::
abet:(call:packet-pump %halt ~) abet:(call:packet-pump %halt ~)
@ -3405,7 +3406,9 @@
+| %helpers +| %helpers
:: ::
++ sink . ++ sink .
++ abed |=(^bone sink(state (~(gut by rcv.peer-state) +< *_state))) ++ abed
|= =^bone
sink(state (~(gut by rcv.peer-state) bone *message-sink-state))
++ abet ++ abet
:: if the bone was corked, it's been removed from the state, :: if the bone was corked, it's been removed from the state,
:: so we avoid adding it again. :: so we avoid adding it again.
@ -3826,6 +3829,7 @@
(on-keen (slag 3 (en-path:balk u.blk)) duct) (on-keen (slag 3 (en-path:balk u.blk)) duct)
:: ::
+| %internal +| %internal
::
++ ke ++ ke
|_ [=path keen-id=@ud keen=keen-state] |_ [=path keen-id=@ud keen=keen-state]
:: ::