Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -119,14 +119,14 @@ async def execute_command(websocket, project_name, command, connected):
|
|
119 |
async def send_message(message):
|
120 |
print('sending msg')
|
121 |
# await websocket.send(f'data: {message}')
|
122 |
-
websockets.broadcast(connected,json.dumps(message
|
123 |
|
124 |
async for line in process.stdout:
|
125 |
print('sending line')
|
126 |
|
127 |
event = {
|
128 |
"type": "terminal-data",
|
129 |
-
"data": line.strip(),
|
130 |
}
|
131 |
await send_message(event)
|
132 |
|
|
|
119 |
async def send_message(message):
|
120 |
print('sending msg')
|
121 |
# await websocket.send(f'data: {message}')
|
122 |
+
websockets.broadcast(connected,json.dumps(message) )
|
123 |
|
124 |
async for line in process.stdout:
|
125 |
print('sending line')
|
126 |
|
127 |
event = {
|
128 |
"type": "terminal-data",
|
129 |
+
"data": line.strip().decode('utf-8'),
|
130 |
}
|
131 |
await send_message(event)
|
132 |
|