diff options
Diffstat (limited to 'support-files/mysql.server.sh')
| -rw-r--r-- | support-files/mysql.server.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/support-files/mysql.server.sh b/support-files/mysql.server.sh index 4283af919a5..aafd3f8f187 100644 --- a/support-files/mysql.server.sh +++ b/support-files/mysql.server.sh @@ -87,10 +87,12 @@ parse_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 |