poikilos
9 years ago
committed by
Jacob Gustafson
7 changed files with 44 additions and 28 deletions
@ -1,3 +0,0 @@ |
|||||
#!/bin/sh |
|
||||
#TODO: set pid then: |
|
||||
# ssh hostname 'kill -TERM $pid' |
|
@ -0,0 +1,20 @@ |
|||||
|
#!/bin/sh |
||||
|
MTS_HAYSTACK_PATH=/tmp/mts_haystack |
||||
|
# the space in the sed param means search for a space. The result is all characters before the space. |
||||
|
ps -e | grep minetestserver | sed 's/ .*//' > "$MTS_HAYSTACK_PATH" |
||||
|
#ps -e | grep minetestserver > "$MTS_HAYSTACK_PATH" |
||||
|
# as per TheOther1. linuxquestions.org. |
||||
|
# <http://www.linuxquestions.org/questions/programming-9/bash-shell-script-read-file-line-by-line-136784/>. |
||||
|
# 20 Jan 2004. 19 Feb 2016. |
||||
|
a=0 |
||||
|
while read line |
||||
|
do a=$(($a+1)); |
||||
|
pid=$line |
||||
|
#echo $pid |
||||
|
#echo $line | sed 's/ .*//' |
||||
|
kill -TERM $pid |
||||
|
done < "$MTS_HAYSTACK_PATH" |
||||
|
echo "Final line count is: $a"; |
||||
|
rm "$MTS_HAYSTACK_PATH" |
||||
|
#TODO someday (?): |
||||
|
# ssh hostname 'kill -TERM $pid' |
Loading…
Reference in new issue