1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merged revisions 3418..3424 from mariadb-galera-5.5

This commit is contained in:
Seppo Jaakola
2013-10-07 08:57:23 +03:00
parent 06a7eeb992
commit 255e20a175
18 changed files with 185 additions and 74 deletions

View File

@@ -945,9 +945,6 @@ have_sleep=1
# maximum number of wsrep restarts
max_wsrep_restarts=0
# maximum number of wsrep restarts
max_wsrep_restarts=0
while true
do
rm -f "$pid_file" # Some extra safety