Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
|
@@ -3,7 +3,9 @@ import json
|
|
| 3 |
from websockets.server import serve
|
| 4 |
import time
|
| 5 |
|
|
|
|
| 6 |
print("started")
|
|
|
|
| 7 |
|
| 8 |
json.dump({}, open("p.json", "w"))
|
| 9 |
|
|
@@ -17,7 +19,7 @@ async def echo(websocket):
|
|
| 17 |
p = json.load(open("p.json"))
|
| 18 |
if jm["type"] == "login":
|
| 19 |
if jm["token"] not in p.keys():
|
| 20 |
-
p.update({jm["token"]: {"pos": {"x": 0,"y": 0, "vy": 0}}})
|
| 21 |
json.dump(p, open("p.json", "w"))
|
| 22 |
await websocket.send(json.dumps({"type": "init", "data": p[jm["token"]]}))
|
| 23 |
elif jm["type"] == "update":
|
|
@@ -26,7 +28,7 @@ async def echo(websocket):
|
|
| 26 |
players = []
|
| 27 |
for key, value in p.items():
|
| 28 |
if key != jm["token"] and time.time() * 1000 - value["time"] < 1000:
|
| 29 |
-
players.append({"pos": value["pos"], "name": value["name"]})
|
| 30 |
await websocket.send(json.dumps({"type": "update", "data": {"players": players}}))
|
| 31 |
|
| 32 |
async def main():
|
|
|
|
| 3 |
from websockets.server import serve
|
| 4 |
import time
|
| 5 |
|
| 6 |
+
print("-------")
|
| 7 |
print("started")
|
| 8 |
+
print("-------")
|
| 9 |
|
| 10 |
json.dump({}, open("p.json", "w"))
|
| 11 |
|
|
|
|
| 19 |
p = json.load(open("p.json"))
|
| 20 |
if jm["type"] == "login":
|
| 21 |
if jm["token"] not in p.keys():
|
| 22 |
+
p.update({jm["token"]: {"pos": {"x": 0,"y": 0, "vy": 0}}, "time": time.time() * 1000})
|
| 23 |
json.dump(p, open("p.json", "w"))
|
| 24 |
await websocket.send(json.dumps({"type": "init", "data": p[jm["token"]]}))
|
| 25 |
elif jm["type"] == "update":
|
|
|
|
| 28 |
players = []
|
| 29 |
for key, value in p.items():
|
| 30 |
if key != jm["token"] and time.time() * 1000 - value["time"] < 1000:
|
| 31 |
+
players.append({"pos": value["pos"], "name": value["name"], "color": value["color"]})
|
| 32 |
await websocket.send(json.dumps({"type": "update", "data": {"players": players}}))
|
| 33 |
|
| 34 |
async def main():
|