Try the auto server suppression

ThomasHerve · Jun 11, 2024 · 729ff77 · 729ff77
1 parent 96483c9
commit 729ff77
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/instance/app.py b/instance/app.py
@@ -40,6 +40,8 @@ async def handler(websocket, path):
         clients.remove(websocket)
         if websocket == server:
             server = None
+        if len(clients) == 0:
+            stop()
 
 async def main():
     async with websockets.serve(handler, "0.0.0.0", 8000):

diff --git a/instance/run.sh b/instance/run.sh