comparison src/sat.sh @ 315:31804aa9d3da

core: fixed stop script
author Goffi <goffi@goffi.org>
date Mon, 02 May 2011 16:45:27 +0200
parents 0ed5553b5313
children f147b778511a
comparison
equal deleted inserted replaced
314:58d2f0c6b595 315:31804aa9d3da
3 #if there is one argument which is "stop", then we kill SàT 3 #if there is one argument which is "stop", then we kill SàT
4 DEBUG="" 4 DEBUG=""
5 if [ $# -eq 1 ];then 5 if [ $# -eq 1 ];then
6 if [ $1 = "stop" ];then 6 if [ $1 = "stop" ];then
7 echo "Terminating Salut à Toi" 7 echo "Terminating Salut à Toi"
8 pkill -f "twistd.*sat/sat.tac" 8 pkill -f "twistd.*/sat.tac"
9 exit 0 9 exit 0
10 fi 10 fi
11 if [ $1 = "debug" ];then 11 if [ $1 = "debug" ];then
12 echo "Launching SàT in debug mode" 12 echo "Launching SàT in debug mode"
13 DEBUG="--debug" 13 DEBUG="--debug"