mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
Suggestion of Tim. Avoid unnecessary sleep.
This commit is contained in:
@ -155,7 +155,6 @@ wait_for_pid () {
|
|||||||
i=0
|
i=0
|
||||||
avoid_race_condition="by checking again"
|
avoid_race_condition="by checking again"
|
||||||
while test $i -ne $service_startup_timeout ; do
|
while test $i -ne $service_startup_timeout ; do
|
||||||
sleep 1
|
|
||||||
|
|
||||||
case "$verb" in
|
case "$verb" in
|
||||||
'created')
|
'created')
|
||||||
@ -191,6 +190,7 @@ wait_for_pid () {
|
|||||||
|
|
||||||
echo $echo_n ".$echo_c"
|
echo $echo_n ".$echo_c"
|
||||||
i=`expr $i + 1`
|
i=`expr $i + 1`
|
||||||
|
sleep 1
|
||||||
done
|
done
|
||||||
|
|
||||||
if test -z "$i" ; then
|
if test -z "$i" ; then
|
||||||
|
Reference in New Issue
Block a user