Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -338,6 +338,7 @@ async def read_process_output(process, websocket):
|
|
338 |
async def handle_user_input(websocket, process):
|
339 |
while True:
|
340 |
try:
|
|
|
341 |
if process.returncode is not None:
|
342 |
break
|
343 |
message = await websocket.recv()
|
|
|
338 |
async def handle_user_input(websocket, process):
|
339 |
while True:
|
340 |
try:
|
341 |
+
await asyncio.sleep(0.1)
|
342 |
if process.returncode is not None:
|
343 |
break
|
344 |
message = await websocket.recv()
|