2 Commits

Include renames

Author	SHA1	Message	Date
jensandClaude Sonnet 4.6	0f31cc41cc	Handle abrupt WebSocket disconnect (e.g. Safari tab close) ... Catch ConnectionClosed in User.send() and handler_recv() so that an unclean client disconnect no longer produces "Task exception was never retrieved" / "connection handler failed" log noise. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01SH2D4LRuCnhLSzoYerAfJX	2026-06-28 15:34:53 +02:00
jens	7d87bc8f34	- refactored	2020-11-24 20:42:27 +01:00