diff --git a/src/sat.sh b/src/sat.sh index 8af3f1b6..6272ef48 100755 --- a/src/sat.sh +++ b/src/sat.sh @@ -1,12 +1,17 @@ #!/bin/sh #if there is one argument which is "stop", then we kill SàT +DEBUG="" if [ $# -eq 1 ];then if [ $1 = "stop" ];then echo "Terminating Salut à Toi" pkill -f "twistd.*sat/sat.tac" exit 0 fi + if [ $1 = "debug" ];then + echo "Launching SàT in debug mode" + DEBUG="--debug" + fi fi NAME='sat' @@ -20,7 +25,7 @@ TAP_FILE="$NAME.tac" #Don't change the next line AUTO_OPTIONS="" -ADDITIONAL_OPTIONS="--pidfile $PID_FILE --logfile $LOG_FILE $AUTO_OPTIONS" +ADDITIONAL_OPTIONS="--pidfile $PID_FILE --logfile $LOG_FILE $AUTO_OPTIONS $DEBUG" log_dir=`dirname "$LOG_FILE"` if [ ! -d $log_dir ] ; then