From ba2acd2d946f9f37057434b54371e7b67566e28f Mon Sep 17 00:00:00 2001 From: Benjamin Braatz Date: Wed, 19 Jul 2023 15:28:54 +0200 Subject: [PATCH] Shorter ping to detect connection drops faster. --- controlpi_plugins/wsserver.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/controlpi_plugins/wsserver.py b/controlpi_plugins/wsserver.py index ad76266..41c3196 100644 --- a/controlpi_plugins/wsserver.py +++ b/controlpi_plugins/wsserver.py @@ -254,7 +254,8 @@ class WSServer(BasePlugin): async with serve(self._handler, host=self.conf['host'], port=self.conf['port'], - process_request=self._process_request): + process_request=self._process_request, + ping_interval=1, ping_timeout=5): print(f"WSServer '{self.name}'" f" serving on port {self.conf['port']}.") await stop -- 2.34.1