mirror of
https://github.com/yacy/yacy_search_server.git
synced 2026-10-25 05:54:15 +00:00
delete yacy.running after kill as requested in
http://forum.yacy-websuche.de/viewtopic.php?t=3835
This commit is contained in:
1 parent
e101c2e0e2
commit
43ffae6590
1 file changed
+1
@@ -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"
|
||||
|
||||
Reference in new issue
Block a user