Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -687,6 +687,7 @@ async def handle_user_input(websocket,key, process, connected):
|
|
687 |
def process_input(user_input, process):
|
688 |
if process:
|
689 |
try:
|
|
|
690 |
if user_input == 'Ctrl+C':
|
691 |
print('Stopping process')
|
692 |
# Send SIGINT signal to terminate the process gracefully
|
|
|
687 |
def process_input(user_input, process):
|
688 |
if process:
|
689 |
try:
|
690 |
+
print(user_input.encode('utf-8').split("&&")[1])
|
691 |
if user_input == 'Ctrl+C':
|
692 |
print('Stopping process')
|
693 |
# Send SIGINT signal to terminate the process gracefully
|