# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1294337829 -3600
# Node ID a7079e835432a5c7de7e4617efff39a1acb623d4
# Parent  6a37bc1b0b8c7803a380006133bffe4606e0e6f8
added stop command in sat.sh launching script

diff -r 6a37bc1b0b8c -r a7079e835432 src/sat.sh
--- a/src/sat.sh	Thu Jan 06 19:16:50 2011 +0100
+++ b/src/sat.sh	Thu Jan 06 19:17:09 2011 +0100
@@ -1,5 +1,14 @@
 #!/bin/sh
 
+#if there is one argument which is "stop", then we kill SàT
+if [ $# -eq 1 ];then
+	if [ $1 = "stop" ];then
+		echo "Terminating Salut à Toi"
+		pkill -f "twistd.*sat/sat.tac"
+		exit 0
+	fi
+fi
+
 NAME='sat'
 
 PID_FILE="/tmp/$NAME.pid"