Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -571,6 +571,7 @@ def process_input(user_input, process):
|
|
571 |
if process:
|
572 |
try:
|
573 |
if user_input=='Ctrl+C':
|
|
|
574 |
process.send_signal(signal.SIGINT)
|
575 |
else:
|
576 |
process.stdin.write(user_input.encode('utf-8') + b'\n')
|
|
|
571 |
if process:
|
572 |
try:
|
573 |
if user_input=='Ctrl+C':
|
574 |
+
print('process stoping')
|
575 |
process.send_signal(signal.SIGINT)
|
576 |
else:
|
577 |
process.stdin.write(user_input.encode('utf-8') + b'\n')
|