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

Make events_restart more stable by waiting for the server to be stopped before starting it again

This commit is contained in:
Magnus Svensson
2008-08-09 11:16:12 +02:00
parent 02e48e886f
commit 66b42a13f2
4 changed files with 47 additions and 8 deletions

View File

@@ -4174,7 +4174,7 @@ void do_shutdown_server(struct st_command *command)
/* Check that server dies */
while(timeout--){
if (my_kill(0, pid) < 0){
DBUG_PRINT("info", ("Sleeping, timeout: %d", timeout));
DBUG_PRINT("info", ("Process %d does not exist anymore", pid));
break;
}
DBUG_PRINT("info", ("Sleeping, timeout: %d", timeout));