Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -809,10 +809,11 @@ async def exe(websocket,connected,key,process_ids):
|
|
809 |
# Parse a "play" event from the UI.
|
810 |
print(message)
|
811 |
event = json.loads(message)
|
812 |
-
print(event)
|
|
|
813 |
assert event["type"] == "cmd"
|
814 |
# command = event["command"]
|
815 |
-
print(event)
|
816 |
|
817 |
try:
|
818 |
if event["command"]["type"]=="shell":
|
|
|
809 |
# Parse a "play" event from the UI.
|
810 |
print(message)
|
811 |
event = json.loads(message)
|
812 |
+
print(event,1)
|
813 |
+
print(type(event),1)
|
814 |
assert event["type"] == "cmd"
|
815 |
# command = event["command"]
|
816 |
+
print(event,2)
|
817 |
|
818 |
try:
|
819 |
if event["command"]["type"]=="shell":
|