From db925ce9fbb8e925355cbfd998e69da0c1bc0ec2 Mon Sep 17 00:00:00 2001 From: Thomas Farstrike Date: Fri, 30 May 2025 21:39:19 +0200 Subject: [PATCH] websocket.py: add ping callback support --- internal_filesystem/lib/websocket.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/internal_filesystem/lib/websocket.py b/internal_filesystem/lib/websocket.py index 7e786681..d6ec5765 100644 --- a/internal_filesystem/lib/websocket.py +++ b/internal_filesystem/lib/websocket.py @@ -328,6 +328,9 @@ class WebSocketApp: elif msg.type == WSMsgType.ERROR or ws.ws.closed: _log_error("WebSocket error or closed") raise WebSocketConnectionClosedException("WebSocket closed") + elif msg.type == ABNF.OPCODE_PING: + data = msg.data + _run_callback(self.on_ping, self, data, ABNF.OPCODE_PING, True) async def _send_async(self, data, opcode): """Async send implementation."""