From: Benjamin Braatz <benjamin.braatz@graph-it.com>
Date: Wed, 19 Jul 2023 13:28:54 +0000 (+0200)
Subject: Shorter ping to detect connection drops faster.
X-Git-Tag: v0.3.0~1
X-Git-Url: http://git.graph-it.com/?a=commitdiff_plain;h=ba2acd2d946f9f37057434b54371e7b67566e28f;p=graphit%2Fcontrolpi-wsserver.git

Shorter ping to detect connection drops faster.
---

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