#!/usr/bin/sh

source "`dirname ${BASH_SOURCE[0]}`/mysql-scripts-common"

# This script waits for mysqld to be properly stopped
# (which can be many seconds in some large load).
# Running this as ExecStopPost is useful so that starting which is done
# as part of restart doesn't see the former process still running.

# Wait for the server to properly end the main server
ret=0
TIMEOUT=60
SECONDS=0

if ! [ -f "$pidfile" ]; then
	exit 0
fi

MYSQLPID=`cat "$pidfile" 2>/dev/null`
if [ -z "$MYSQLPID" ] ; then
	exit 2
fi

while /bin/true; do
	# Check process still exists
	if ! [ -d "/proc/${MYSQLPID}" ] ; then
	    break
	fi
	if [ $SECONDS -gt $TIMEOUT ] ; then
	    ret=3
	    break
	fi
	sleep 1
done

exit $ret