From 2144fa932e3d614e64f162c6024aec9ad22442ea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Fri, 13 Mar 2026 20:35:47 +0100
Subject: Discovery: mark tunnelled peer dropped when stream is closed

---
 src/Erebos/Discovery.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Erebos/Discovery.hs')

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 ()
-- 
cgit v1.2.3