# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1304347527 -7200
# Node ID 31804aa9d3da990eaee591ef62faf20038086b6b
# Parent  58d2f0c6b59515971860064c85e4e0a818fed2c7
core: fixed stop script

diff -r 58d2f0c6b595 -r 31804aa9d3da src/sat.sh
--- a/src/sat.sh	Mon May 02 16:44:11 2011 +0200
+++ b/src/sat.sh	Mon May 02 16:45:27 2011 +0200
@@ -5,7 +5,7 @@
 if [ $# -eq 1 ];then
 	if [ $1 = "stop" ];then
 		echo "Terminating Salut à Toi"
-		pkill -f "twistd.*sat/sat.tac"
+		pkill -f "twistd.*/sat.tac"
 		exit 0
 	fi
 	if [ $1 = "debug" ];then