diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..723ef36 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.idea \ No newline at end of file diff --git a/startup.sh b/startup.sh index 0b5e14d..6af90ba 100644 --- a/startup.sh +++ b/startup.sh @@ -99,6 +99,11 @@ monitor_all() { kill -SIGKILL $screen_pid 2>/dev/null continue fi + # Si le programme est 'connectors', envoyer SIGINT au lieu de SIGKILL + if ps -p $other_pid -o comm= | grep -q "connectors"; then + kill -SIGINT $other_pid 2>/dev/null + continue + fi kill -SIGKILL $other_pid 2>/dev/null fi done