Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -363,11 +363,19 @@ async def handle_user_input(websocket,key, process, connected):
|
|
363 |
|
364 |
return_code = await process.wait()
|
365 |
if return_code == 0:
|
366 |
-
|
367 |
-
|
|
|
|
|
|
|
|
|
368 |
else:
|
369 |
-
|
370 |
-
|
|
|
|
|
|
|
|
|
371 |
|
372 |
except Exception as e:
|
373 |
await error(websocket, str(e))
|
|
|
363 |
|
364 |
return_code = await process.wait()
|
365 |
if return_code == 0:
|
366 |
+
event = {
|
367 |
+
"type": "terminal-data-end",
|
368 |
+
|
369 |
+
}
|
370 |
+
await websocket.send(json.dumps(event))
|
371 |
+
|
372 |
else:
|
373 |
+
event = {
|
374 |
+
"type": "terminal-data-end",
|
375 |
+
|
376 |
+
}
|
377 |
+
await websocket.send(json.dumps(event))
|
378 |
+
|
379 |
|
380 |
except Exception as e:
|
381 |
await error(websocket, str(e))
|