Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -473,7 +473,7 @@ async def handle_user_input(websocket,key, process, connected):
|
|
473 |
observer.stop()
|
474 |
observer.join()
|
475 |
else:
|
476 |
-
process_input(event["command"]["command"], process)
|
477 |
|
478 |
elif event["command"]["type"]=="write":
|
479 |
|
@@ -684,7 +684,7 @@ async def handle_user_input(websocket,key, process, connected):
|
|
684 |
print(f"Error in input thread: {str(e)}")
|
685 |
pass
|
686 |
|
687 |
-
def process_input(user_input, process):
|
688 |
|
689 |
if process:
|
690 |
try:
|
|
|
473 |
observer.stop()
|
474 |
observer.join()
|
475 |
else:
|
476 |
+
await process_input(event["command"]["command"], process)
|
477 |
|
478 |
elif event["command"]["type"]=="write":
|
479 |
|
|
|
684 |
print(f"Error in input thread: {str(e)}")
|
685 |
pass
|
686 |
|
687 |
+
async def process_input(user_input, process):
|
688 |
|
689 |
if process:
|
690 |
try:
|