urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-04 10:32:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

time out lanes

Browse Source
This commit is contained in:
Ted Blackman 2019-06-24 14:09:42 -07:00
parent 133749e7d8
commit 6bbf950e0d
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
sys/vane/alef.hoon
View File

@ -1242,6 +1242,16 @@
::
?^ error
!!
:: expire direct route
::
:: Since a packet's timer expired, mark the .lane.route as
:: indirect. The next packets we emit will be sent to the
:: receiver's sponsorship chain in case the receiver's
:: transport address has changed and this lane is no longer
:: valid.
::
=. route.peer-state `[direct=%.n lane:(need route.peer-state)]
::
(run-message-pump bone %wake ~)
:: +run-message-pump: process $message-pump-task and its effects
::