1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

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

server-tools/instance-manager/mysqlmanager.cc:
  Delete IM-angel pid file on exit.
This commit is contained in:
unknown
2007-02-24 13:18:09 +03:00
parent f44759c71d
commit 8251e016d7

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