web: Regularly ping WebSocket clients to keep connections alive

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/src/web/__init__.py b/src/web/__init__.py
index d46e2bcea1f726fae8886d411e994c05ea2030cf..ab0d59209d26fd9517eee461c98474a527eb6994 100644 (file)
--- 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)