Check if PID is still running

This commit is contained in:
Ben Peddell 2018-04-06 18:36:45 +10:00
parent 67ac69dc12
commit 6b6e4c0a38

View File

@ -1819,8 +1819,11 @@ doUpdate() {
fi
if [[ -f "$arkserverroot/$arkmanagerpidfile" && "$arkserverroot/$arkmanagerpidfile" -ot "${arkserverroot}/${arkupdatetimefile}" ]]; then
logprint "Server was updated while it was running"
bgupdate=1
local mgrpid="$(<"$arkserverroot/$arkmanagerpidfile")"
if (( mgrpid != 0 )); then
logprint "Server was updated while it was running"
bgupdate=1
fi
fi
if [ -n "$downloadonly" ]; then