From 3c24aa2251dec65be67a571ea8f19acafdbf206b Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Sun, 16 Jan 2011 02:54:08 +0100
Subject: [PATCH] added "debug" command to sat launcher script

---
 src/sat.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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