diff --git a/startup.sh b/startup.sh index 6af90ba..7efea2e 100644 --- a/startup.sh +++ b/startup.sh @@ -104,6 +104,11 @@ monitor_all() { kill -SIGINT $other_pid 2>/dev/null continue fi + # Si le programme est 'lidar', envoyer SIGINT au lieu de SIGKILL + if ps -p $other_pid -o comm= | grep -q "lidar"; then + kill -SIGINT $other_pid 2>/dev/null + continue + fi kill -SIGKILL $other_pid 2>/dev/null fi done