changing the way to figure out if selfserv is still present from ps to

kill -0 so we might be able to debug the disapearing selfserv problem
better
This commit is contained in:
sonja.mirtitsch%sun.com 2002-02-06 05:34:16 +00:00
Родитель fc9c1cc246
Коммит 386c1bd3bd
1 изменённых файлов: 6 добавлений и 2 удалений

Просмотреть файл

@ -114,8 +114,12 @@ is_selfserv_alive()
fi
fi
PID=`cat ${SERVERPID}`
$PS -e | grep $PID >/dev/null || \
Exit 10 "Fatal - selfserv process not detectable"
#if [ "${OS_ARCH}" = "Linux" ]; then
kill -0 $PID >/dev/null 2>/dev/null || Exit 10 "Fatal - selfserv process not detectable"
#else
#$PS -e | grep $PID >/dev/null || \
#Exit 10 "Fatal - selfserv process not detectable"
#fi
}
########################### wait_for_selfserv ##########################