summaryrefslogtreecommitdiff
path: root/support-files
diff options
context:
space:
mode:
authorunknown <cmiller@zippy.cornsilk.net>2008-03-26 14:24:10 -0400
committerunknown <cmiller@zippy.cornsilk.net>2008-03-26 14:24:10 -0400
commit19afc9d9e75b44c01e254300913b716798c40108 (patch)
tree75718d205ac0d139da84cd0605e35775064ff564 /support-files
parent891e811a25fcd0ad6db06a5a85a6784fe9765ca0 (diff)
parentfaf1d55c353c260895f2d8a2180800ed618e9e82 (diff)
downloadmariadb-git-19afc9d9e75b44c01e254300913b716798c40108.tar.gz
Merge bk-internal.mysql.com:/home/bk/mysql-5.1-build
into zippy.cornsilk.net:/home/cmiller/work/mysql/mysql-5.1-build
Diffstat (limited to 'support-files')
-rw-r--r--support-files/mysql.server.sh33
1 files changed, 28 insertions, 5 deletions
diff --git a/support-files/mysql.server.sh b/support-files/mysql.server.sh
index 65e13aaaca0..bbd93b8f746 100644
--- a/support-files/mysql.server.sh
+++ b/support-files/mysql.server.sh
@@ -150,24 +150,47 @@ parse_manager_arguments() {
}
wait_for_pid () {
+ verb="$1"
+ manager_pid="$2" # process ID of the program operating on the pid-file
i=0
+ avoid_race_condition="by checking again"
while test $i -ne $service_startup_timeout ; do
- sleep 1
- case "$1" in
+
+ case "$verb" in
'created')
+ # wait for a PID-file to pop into existence.
test -s $pid_file && i='' && break
- kill -0 $2 || break # if the program goes away, stop waiting
;;
'removed')
+ # wait for this PID-file to disappear
test ! -s $pid_file && i='' && break
;;
*)
- echo "wait_for_pid () usage: wait_for_pid created|removed"
+ echo "wait_for_pid () usage: wait_for_pid created|removed manager_pid"
exit 1
;;
esac
+
+ # if manager isn't running, then pid-file will never be updated
+ if test -n "$manager_pid"; then
+ if kill -0 "$manager_pid" 2>/dev/null; then
+ : # the manager still runs
+ else
+ # The manager may have exited between the last pid-file check and now.
+ if test -n "$avoid_race_condition"; then
+ avoid_race_condition=""
+ continue # Check again.
+ fi
+
+ # there's nothing that will affect the file.
+ log_failure_msg "Manager of pid-file quit without updating file."
+ return 1 # not waiting any more.
+ fi
+ fi
+
echo $echo_n ".$echo_c"
i=`expr $i + 1`
+ sleep 1
done
if test -z "$i" ; then
@@ -338,7 +361,7 @@ case "$mode" in
echo $echo_n "Shutting down MySQL"
kill $mysqlmanager_pid
# mysqlmanager should remove the pid_file when it exits, so wait for it.
- wait_for_pid removed; return_value=$?
+ wait_for_pid removed "$mysqlmanager_pid"; return_value=$?
# delete lock for RedHat / SuSE
if test -f $lock_dir