Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -279,7 +279,7 @@ async def read_process_output(process, websocket):
|
|
279 |
}
|
280 |
await websocket.send(json.dumps(event))
|
281 |
|
282 |
-
async def handle_user_input(websocket,key, process):
|
283 |
while True:
|
284 |
try:
|
285 |
await asyncio.sleep(0.5)
|
@@ -331,7 +331,7 @@ async def handle_user_input(websocket,key, process):
|
|
331 |
|
332 |
|
333 |
await asyncio.gather(
|
334 |
-
handle_user_input(websocket,key, process),
|
335 |
read_process_output(process, websocket)
|
336 |
)
|
337 |
|
@@ -563,7 +563,7 @@ async def exe(websocket,connected,key):
|
|
563 |
|
564 |
|
565 |
await asyncio.gather(
|
566 |
-
handle_user_input(websocket,key, process),
|
567 |
read_process_output(process, websocket)
|
568 |
)
|
569 |
|
|
|
279 |
}
|
280 |
await websocket.send(json.dumps(event))
|
281 |
|
282 |
+
async def handle_user_input(websocket,key, process, connected):
|
283 |
while True:
|
284 |
try:
|
285 |
await asyncio.sleep(0.5)
|
|
|
331 |
|
332 |
|
333 |
await asyncio.gather(
|
334 |
+
handle_user_input(websocket,key, process, connected),
|
335 |
read_process_output(process, websocket)
|
336 |
)
|
337 |
|
|
|
563 |
|
564 |
|
565 |
await asyncio.gather(
|
566 |
+
handle_user_input(websocket,key, process, connected),
|
567 |
read_process_output(process, websocket)
|
568 |
)
|
569 |
|