mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
Suggestion of Tim. Avoid unnecessary sleep.
This commit is contained in:
parent
8dad72ee4c
commit
c10b1b3b7c
1 changed files with 1 additions and 1 deletions
|
@ -155,7 +155,6 @@ wait_for_pid () {
|
|||
i=0
|
||||
avoid_race_condition="by checking again"
|
||||
while test $i -ne $service_startup_timeout ; do
|
||||
sleep 1
|
||||
|
||||
case "$verb" in
|
||||
'created')
|
||||
|
@ -191,6 +190,7 @@ wait_for_pid () {
|
|||
|
||||
echo $echo_n ".$echo_c"
|
||||
i=`expr $i + 1`
|
||||
sleep 1
|
||||
done
|
||||
|
||||
if test -z "$i" ; then
|
||||
|
|
Loading…
Reference in a new issue