Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -213,6 +213,7 @@ async def handler(websocket):
|
|
213 |
# Receive and parse the "init" event from the UI.
|
214 |
message = await websocket.recv()
|
215 |
event = json.loads(message)
|
|
|
216 |
project_name = event["project_name"]
|
217 |
# assert event["type"] == "init"
|
218 |
if event["type"] == "init":
|
@@ -227,6 +228,7 @@ async def handler(websocket):
|
|
227 |
# First player starts a new game.
|
228 |
await start(websocket, message)
|
229 |
elif event["type"] == "cmd":
|
|
|
230 |
# Execute a command in the project folder.
|
231 |
await execute_command(websocket, event["project_name"], event["command"])
|
232 |
|
|
|
213 |
# Receive and parse the "init" event from the UI.
|
214 |
message = await websocket.recv()
|
215 |
event = json.loads(message)
|
216 |
+
print(event)
|
217 |
project_name = event["project_name"]
|
218 |
# assert event["type"] == "init"
|
219 |
if event["type"] == "init":
|
|
|
228 |
# First player starts a new game.
|
229 |
await start(websocket, message)
|
230 |
elif event["type"] == "cmd":
|
231 |
+
print('executing commad')
|
232 |
# Execute a command in the project folder.
|
233 |
await execute_command(websocket, event["project_name"], event["command"])
|
234 |
|