Shorter ping to detect connection drops faster.

diff --git a/controlpi_plugins/wsserver.py b/controlpi_plugins/wsserver.py
index ad7626645c272641eabc57579ed6726f3d76fb95..41c3196afa6b90e600a272c986b7c85711b10ede 100644 (file)
--- 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