diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-03-13 20:35:47 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-03-13 20:35:47 +0100 |
| commit | 2144fa932e3d614e64f162c6024aec9ad22442ea (patch) | |
| tree | 32ff162337353b9a001c906321917819834b671f /src/Erebos/Discovery.hs | |
| parent | e74f7e0289ca20f9ff372a416c7baef8f1e1f5f9 (diff) | |
Discovery: mark tunnelled peer dropped when stream is closed
Diffstat (limited to 'src/Erebos/Discovery.hs')
| -rw-r--r-- | src/Erebos/Discovery.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Erebos/Discovery.hs b/src/Erebos/Discovery.hs index 43350c5..6e39b8c 100644 --- a/src/Erebos/Discovery.hs +++ b/src/Erebos/Discovery.hs @@ -682,7 +682,7 @@ receiveFromTunnel server taddr = do receivedFromCustomAddress server taddr stpData receiveFromTunnel server taddr StreamClosed {} -> do - return () + dropPeerAddress server $ CustomPeerAddress taddr discoverySetupTunnel :: Peer -> RefDigest -> IO () |