From edb548ee1da973b6b125c38cefd749ec4fbc59f6 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Thu, 6 Jan 2011 19:17:09 +0100
Subject: [PATCH] added stop command in sat.sh launching script

---
 src/sat.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/sat.sh b/src/sat.sh
index 7f0ba901..8af3f1b6 100755
--- a/src/sat.sh
+++ b/src/sat.sh
@@ -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"