# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1295142848 -3600
# Node ID 0ed5553b5313de89fe7013df7eefbc012f62720d
# Parent  624e3ed4782dcb021c6698ae9ebea5b8d4628a9c
added "debug" command to sat launcher script

diff -r 624e3ed4782d -r 0ed5553b5313 src/sat.sh
--- 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