mirror of
https://github.com/MariaDB/server.git
synced 2025-05-05 16:59:35 +03:00
Merge tulin@bk-internal.mysql.com:/home/bk/mysql-4.1
into poseidon.ndb.mysql.com:/home/tomas/mysql-4.1-ndb
This commit is contained in:
commit
b76fb15ce6
@ -205,7 +205,7 @@ if [ -f "$fs_ndb/$pidfile" ] ; then
|
||||
fi
|
||||
done
|
||||
kill_pids=$new_kill_pid
|
||||
if [ "$kill_pids" == "" ] ; then
|
||||
if [ -z "$kill_pids" ] ; then
|
||||
break
|
||||
fi
|
||||
sleep 1
|
||||
|
Loading…
x
Reference in New Issue
Block a user