From eebce7bfdd3bee9b06f47d65d150613565cc3e79 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Tue, 13 Aug 2024 19:03:02 +0000 Subject: [PATCH] web: Regularly ping WebSocket clients to keep connections alive Signed-off-by: Michael Tremer --- src/web/__init__.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/web/__init__.py b/src/web/__init__.py index d46e2bce..ab0d5920 100644 --- a/src/web/__init__.py +++ b/src/web/__init__.py @@ -108,6 +108,10 @@ class Application(tornado.web.Application): xsrf_cookie_kwargs = dict( secure = True, ), + + # WebSocket + websocket_ping_interval = 15, + websocket_ping_timeout = 60, ) settings.update(kwargs) -- 2.47.3