Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -318,6 +318,11 @@ async def read_process_output(process, websocket):
|
|
318 |
elif char == b'':
|
319 |
if word:
|
320 |
print(word.decode())
|
|
|
|
|
|
|
|
|
|
|
321 |
break
|
322 |
else:
|
323 |
word += char
|
|
|
318 |
elif char == b'':
|
319 |
if word:
|
320 |
print(word.decode())
|
321 |
+
event = {
|
322 |
+
"type": "terminal-data",
|
323 |
+
"data": word.decode(),
|
324 |
+
}
|
325 |
+
await websocket.send(json.dumps(event))
|
326 |
break
|
327 |
else:
|
328 |
word += char
|