comparison src/sat.sh @ 234:a7079e835432

added stop command in sat.sh launching script
author Goffi <goffi@goffi.org>
date Thu, 06 Jan 2011 19:17:09 +0100
parents d8bb72f00eec
children 0ed5553b5313
comparison
equal deleted inserted replaced
233:6a37bc1b0b8c 234:a7079e835432
1 #!/bin/sh 1 #!/bin/sh
2
3 #if there is one argument which is "stop", then we kill SàT
4 if [ $# -eq 1 ];then
5 if [ $1 = "stop" ];then
6 echo "Terminating Salut à Toi"
7 pkill -f "twistd.*sat/sat.tac"
8 exit 0
9 fi
10 fi
2 11
3 NAME='sat' 12 NAME='sat'
4 13
5 PID_FILE="/tmp/$NAME.pid" 14 PID_FILE="/tmp/$NAME.pid"
6 LOG_FILE=~/".$NAME/$NAME.log" 15 LOG_FILE=~/".$NAME/$NAME.log"