fix(ping): exit ping loop cleanly when session stream is closed (#4087)

This commit is contained in:
Ashwin Madavan 2026-05-04 11:50:39 -05:00 committed by GitHub
commit 44d3f8d858
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -65,6 +65,9 @@ class PingMiddleware(Middleware):
try:
while True:
await anyio.sleep(self.interval_ms / 1000)
await session.send_ping()
try:
await session.send_ping()
except anyio.ClosedResourceError:
return
finally:
self._active_sessions.discard(session_id)