diff --git a/src/sat.sh b/src/sat.sh index 6272ef48..55d0f407 100755 --- a/src/sat.sh +++ b/src/sat.sh @@ -5,7 +5,7 @@ DEBUG="" if [ $# -eq 1 ];then if [ $1 = "stop" ];then echo "Terminating Salut à Toi" - pkill -f "twistd.*sat/sat.tac" + pkill -f "twistd.*/sat.tac" exit 0 fi if [ $1 = "debug" ];then