diff options
author | unknown <tomas@whalegate.ndb.mysql.com> | 2007-04-16 14:51:55 +0200 |
---|---|---|
committer | unknown <tomas@whalegate.ndb.mysql.com> | 2007-04-16 14:51:55 +0200 |
commit | 15a2bbd3cab194baa898116b14dbd369810a25ff (patch) | |
tree | 3ee4674c5f5e205b8b079d50f0baa63c5769f785 /support-files | |
parent | ed024c024d0f7d0e392752a426eacb3b697bc829 (diff) | |
parent | 8a4f717dfe87219281be020cc8d5f11f16d9e8f4 (diff) | |
download | mariadb-git-15a2bbd3cab194baa898116b14dbd369810a25ff.tar.gz |
Merge whalegate.ndb.mysql.com:/home/tomas/mysql-5.1-single-user
into whalegate.ndb.mysql.com:/home/tomas/mysql-5.1-new-maint
BitKeeper/etc/ignore:
auto-union
BitKeeper/deleted/.del-configure.in.rej:
Auto merged
configure.in:
Auto merged
sql/item.h:
Auto merged
sql/sql_select.cc:
Auto merged
Diffstat (limited to 'support-files')
-rw-r--r-- | support-files/mysql.server.sh | 52 |
1 files changed, 42 insertions, 10 deletions
diff --git a/support-files/mysql.server.sh b/support-files/mysql.server.sh index d2742c548b6..92d9731e72d 100644 --- a/support-files/mysql.server.sh +++ b/support-files/mysql.server.sh @@ -261,13 +261,13 @@ else esac fi -# Safeguard (relative paths, core dumps..) -cd $basedir - case "$mode" in 'start') # Start daemon + # Safeguard (relative paths, core dumps..) + cd $basedir + manager=$bindir/mysqlmanager if test -x $libexecdir/mysqlmanager then @@ -362,20 +362,52 @@ case "$mode" in fi ;; - 'reload') + 'reload'|'force-reload') if test -s "$server_pid_file" ; then - mysqld_pid=`cat $server_pid_file` + read mysqld_pid < $server_pid_file kill -HUP $mysqld_pid && log_success_msg "Reloading service MySQL" touch $server_pid_file else log_failure_msg "MySQL PID file could not be found!" + exit 1 fi ;; - - *) - # usage - echo "Usage: $0 {start|stop|restart|reload} [ MySQL server options ]" - exit 1 + 'status') + # First, check to see if pid file exists + if test -s "$server_pid_file" ; then + read mysqld_pid < $server_pid_file + if kill -0 $mysqld_pid 2>/dev/null ; then + log_success_msg "MySQL running ($mysqld_pid)" + exit 0 + else + log_failure_msg "MySQL is not running, but PID file exists" + exit 1 + fi + else + # Try to find appropriate mysqld process + mysqld_pid=`pidof $sbindir/mysqld` + if test -z $mysqld_pid ; then + if test "$use_mysqld_safe" = "0" ; then + lockfile=/var/lock/subsys/mysqlmanager + else + lockfile=/var/lock/subsys/mysql + fi + if test -f $lockfile ; then + log_failure_msg "MySQL is not running, but lock exists" + exit 2 + fi + log_failure_msg "MySQL is not running" + exit 3 + else + log_failure_msg "MySQL is running but PID file could not be found" + exit 4 + fi + fi + ;; + *) + # usage + echo "Usage: $0 {start|stop|restart|reload|force-reload|status} [ MySQL server options ]" + exit 1 ;; esac |