Spaces:
Paused
Paused
Update app.py
Browse files
app.py
CHANGED
|
@@ -693,7 +693,7 @@ async def process_input(user_input, process):
|
|
| 693 |
print('Stopping process')
|
| 694 |
# Send Ctrl+C signal to the subprocess
|
| 695 |
process.send_signal(signal.SIGINT)
|
| 696 |
-
os.killpg(os.getpgid(
|
| 697 |
# Read output and error asynchronously
|
| 698 |
# os.kill(int(process.pid), signal.CTRL_C_EVENT)
|
| 699 |
print('stoping signal sent')
|
|
|
|
| 693 |
print('Stopping process')
|
| 694 |
# Send Ctrl+C signal to the subprocess
|
| 695 |
process.send_signal(signal.SIGINT)
|
| 696 |
+
os.killpg(os.getpgid(process.pid), signal.SIGTERM)
|
| 697 |
# Read output and error asynchronously
|
| 698 |
# os.kill(int(process.pid), signal.CTRL_C_EVENT)
|
| 699 |
print('stoping signal sent')
|