26
26
# give up if restarts come too quickly; ten per minute is suspicious
27
27
OLDESTSTART=${STARTDATE_LOG[1]}
28
28
if [ ! -z "$OLDESTSTART" ]; then
30
30
if [ TIMESPENT -lt 60 ]; then
31
31
echo "Stopping server, it is restarting too quickly."
32
32
rm -f ${PIDDIR}/@progname@-starter.pid