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,key, process, connected):
|
283 |
while True:
|
284 |
try:
|
285 |
-
await asyncio.sleep(0.
|
286 |
if process.returncode is not None:
|
287 |
break
|
288 |
# message = await websocket.recv()
|
@@ -298,7 +298,7 @@ async def handle_user_input(websocket,key, process, connected):
|
|
298 |
print(f'Received user input: {event}')
|
299 |
try:
|
300 |
if event["command"]["type"]=="shell":
|
301 |
-
await asyncio.sleep(0.1)
|
302 |
if process.returncode is not None:
|
303 |
base_path = os.path.join(os.getcwd(), 'projects', key,event["project_name"])
|
304 |
directory_path = base_path
|
|
|
282 |
async def handle_user_input(websocket,key, process, connected):
|
283 |
while True:
|
284 |
try:
|
285 |
+
# await asyncio.sleep(0.1)
|
286 |
if process.returncode is not None:
|
287 |
break
|
288 |
# message = await websocket.recv()
|
|
|
298 |
print(f'Received user input: {event}')
|
299 |
try:
|
300 |
if event["command"]["type"]=="shell":
|
301 |
+
# await asyncio.sleep(0.1)
|
302 |
if process.returncode is not None:
|
303 |
base_path = os.path.join(os.getcwd(), 'projects', key,event["project_name"])
|
304 |
directory_path = base_path
|