1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Fix for BUG#22511: IM does not remove angel-pid-file on clean shutdown

This commit is contained in:
anozdrin/alik@booka.opbmk
2007-02-24 13:18:09 +03:00
parent 2da113129a
commit 03fa3e5aaf

View File

@@ -355,6 +355,10 @@ spawn:
sleep(1); /* don't respawn too fast */ sleep(1); /* don't respawn too fast */
goto spawn; goto spawn;
} }
/* Delete IM-angel pid file. */
my_delete(Options::angel_pid_file_name, MYF(0));
/* /*
mysqlmanager successfully exited, let's silently evaporate mysqlmanager successfully exited, let's silently evaporate
If we return to main we fall into the manager() function, so let's If we return to main we fall into the manager() function, so let's