Update app.py

app.py

@@ -8,9 +8,10 @@ print("started")
 print("-------")
 
 json.dump({}, open("p.json", "w"))
-
+timeout = 2500
 async def echo(websocket):
     async for message in websocket:
+        
         jm = json.loads(message)
         print(jm)
         if jm["token"] == None:
@@ -23,7 +24,7 @@ async def echo(websocket):
             json.dump(p, open("p.json", "w"))
             await websocket.send(json.dumps({"type": "init", "data": p[jm["token"]]}))
         elif jm["type"] == "update":
-            if time.time() * 1000 - p[jm["token"]]["time"] >= 1000:
+            if time.time() * 1000 - p[jm["token"]]["time"] >= timout:
                 await websocket.send(json.dumps({"type": "reconnect"}))
             else:
                 p.update({jm["token"]: jm["data"]})
@@ -31,7 +32,7 @@ async def echo(websocket):
                 players = []
                 for key, value in p.items():
                     if key != jm["token"]: 
-                        if time.time() * 1000 - value["time"] < 1000:
+                        if time.time() * 1000 - value["time"] < timout:
                             players.append({"pos": value["pos"], "name": value["name"], "color": value["color"]})
                 await websocket.send(json.dumps({"type": "update", "data": {"players": players}}))