mirror of
https://github.com/eliasstepanik/ark-ac-server-tools.git
synced 2026-01-28 01:08:27 +00:00
Silence errors killing arkmanager process
This commit is contained in:
parent
ec5151e31c
commit
461729259c
@ -1102,7 +1102,7 @@ doStop() {
|
|||||||
rm -f "$arkserverroot/$arkoldautorestartfile"
|
rm -f "$arkserverroot/$arkoldautorestartfile"
|
||||||
# kill the server with the PID
|
# kill the server with the PID
|
||||||
PID=`getServerPID`
|
PID=`getServerPID`
|
||||||
kill -INT $PID
|
kill -INT $PID >/dev/null 2>&1
|
||||||
|
|
||||||
for (( i = 0; i < 20; i++ )); do
|
for (( i = 0; i < 20; i++ )); do
|
||||||
sleep 1
|
sleep 1
|
||||||
@ -1114,13 +1114,13 @@ doStop() {
|
|||||||
if isTheServerRunning; then
|
if isTheServerRunning; then
|
||||||
tput rc
|
tput rc
|
||||||
echo "Killing server..."
|
echo "Killing server..."
|
||||||
kill -KILL $PID
|
kill -KILL $PID >/dev/null 2>&1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ -f "${arkserverroot}/${arkmanagerpidfile}" ]; then
|
if [ -f "${arkserverroot}/${arkmanagerpidfile}" ]; then
|
||||||
PID="$(<"${arkserverroot}/${arkmanagerpidfile}")"
|
PID="$(<"${arkserverroot}/${arkmanagerpidfile}")"
|
||||||
if [ -n "$PID" ]; then
|
if [ -n "$PID" ]; then
|
||||||
kill $PID
|
kill $PID >/dev/null 2>&1
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user