diff options
Diffstat (limited to 'server-tools/instance-manager')
| -rw-r--r-- | server-tools/instance-manager/mysqlmanager.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server-tools/instance-manager/mysqlmanager.cc b/server-tools/instance-manager/mysqlmanager.cc index 83918092454..4f378c61ca4 100644 --- a/server-tools/instance-manager/mysqlmanager.cc +++ b/server-tools/instance-manager/mysqlmanager.cc @@ -355,6 +355,10 @@ spawn: sleep(1); /* don't respawn too fast */ goto spawn; } + + /* Delete IM-angel pid file. */ + my_delete(Options::angel_pid_file_name, MYF(0)); + /* mysqlmanager successfully exited, let's silently evaporate If we return to main we fall into the manager() function, so let's |