Merge branch 'master' of ssh://git@gitorious.org/yacy/rc1.git

13 years ago · 716db3b79a
parent e0f1e7d904 43ffae6590
commit 716db3b79a
1 changed files with 1 additions and 0 deletions
--- a/killYACY.sh
+++ b/killYACY.sh
@ -8,5 +8,6 @@ PID=`fuser DATA/LOG/yacy00.log | awk '{print $1}'`
 echo "process-id is " $PID
 kill -3 $PID
 kill -9 $PID
+rm -f DATA/yacy.running
 echo "killed pid " $PID ", YaCy terminated"