mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-20 14:02:32 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge qualinost.(none):/home/mtaylor/src/mysql-5.0-init

Browse source 
into  qualinost.(none):/home/mtaylor/src/mysql-5.0-maint
This commit is contained in:
unknown 2007-03-20 10:58:25 -07:00
commit 971124a7f5
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
support-files/mysql.server.sh
View file

@ -46,6 +46,13 @@
basedir=
datadir=
# Default value, in seconds, afterwhich the script should timeout waiting
# for server start.
# Value here is overriden by value in my.cnf.
# 0 means don't wait at all
# Negative numbers mean to wait indefinitely
service_startup_timeout=900
# The following variables are only set for letting mysql.server find things.
# Set some defaults
@ -126,6 +133,7 @@ parse_server_arguments() {
;;
--user=*) user=`echo "$arg" | sed -e 's/^[^=]*=//'` ;;
--pid-file=*) server_pid_file=`echo "$arg" | sed -e 's/^[^=]*=//'` ;;
--service-startup-timeout=*) service_startup_timeout=`echo "$arg" | sed -e 's/^[^=]*=//'` ;;
--use-mysqld_safe) use_mysqld_safe=1;;
--use-manager) use_mysqld_safe=0;;
esac
@ -143,7 +151,7 @@ parse_manager_arguments() {
wait_for_pid () {
i=0
while test $i -lt 900 ; do
while test $i -ne $service_startup_timeout ; do
sleep 1
case "$1" in
'created')