Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -383,13 +383,13 @@ async def start(websocket,events):
|
|
383 |
}
|
384 |
await websocket.send(json.dumps(event))
|
385 |
|
386 |
-
js = json.loads(events)
|
387 |
-
assert js["type"] == "init"
|
388 |
-
base_path = os.path.join(os.getcwd(), 'projects',join_key, js["project_name"])
|
389 |
-
data=json.loads(js["file_structure"])
|
390 |
-
# Receive and process moves from the first player.
|
391 |
-
# await play(websocket, game, PLAYER1, connected)
|
392 |
-
await create_file_structure(websocket,data, base_path=base_path)
|
393 |
await exe(websocket,connected,join_key)
|
394 |
finally:
|
395 |
del JOIN[join_key]
|
|
|
383 |
}
|
384 |
await websocket.send(json.dumps(event))
|
385 |
|
386 |
+
# js = json.loads(events)
|
387 |
+
# assert js["type"] == "init"
|
388 |
+
# base_path = os.path.join(os.getcwd(), 'projects',join_key, js["project_name"])
|
389 |
+
# data=json.loads(js["file_structure"])
|
390 |
+
# # Receive and process moves from the first player.
|
391 |
+
# # await play(websocket, game, PLAYER1, connected)
|
392 |
+
# await create_file_structure(websocket,data, base_path=base_path)
|
393 |
await exe(websocket,connected,join_key)
|
394 |
finally:
|
395 |
del JOIN[join_key]
|