diff src/sat.sh @ 249:0ed5553b5313

added "debug" command to sat launcher script
author Goffi <goffi@goffi.org>
date Sun, 16 Jan 2011 02:54:08 +0100
parents a7079e835432
children 31804aa9d3da
line wrap: on
line diff
--- a/src/sat.sh	Fri Jan 14 15:23:34 2011 +0100
+++ b/src/sat.sh	Sun Jan 16 02:54:08 2011 +0100
@@ -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 @@
 
 #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