1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

merge 4.1->5.0

This commit is contained in:
bell@sanja.is.com.ua
2005-03-31 10:39:48 +03:00
24 changed files with 2028 additions and 554 deletions

View File

@ -99,10 +99,12 @@ parse_manager_arguments() {
}
wait_for_pid () {
for((i=0; i<35; i++)); do
i=0
while test $i -lt 35 ; do
sleep 1
test -s $pid_file && i='' && break
echo $echo_n ".$echo_c"
i=`expr $i + 1`
done
if test -z "$i" ; then