Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -282,7 +282,7 @@ async def read_process_output(process, websocket):
|
|
282 |
async def handle_user_input(websocket, process):
|
283 |
while True:
|
284 |
try:
|
285 |
-
await asyncio.sleep(0.
|
286 |
if process.returncode is not None:
|
287 |
break
|
288 |
# message = await websocket.recv()
|
|
|
282 |
async def handle_user_input(websocket, process):
|
283 |
while True:
|
284 |
try:
|
285 |
+
await asyncio.sleep(0.5)
|
286 |
if process.returncode is not None:
|
287 |
break
|
288 |
# message = await websocket.recv()
|