diff options
Diffstat (limited to 'server-tools')
| -rw-r--r-- | server-tools/instance-manager/angel.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/server-tools/instance-manager/angel.cc b/server-tools/instance-manager/angel.cc index 888122253ed..7a2aeb93265 100644 --- a/server-tools/instance-manager/angel.cc +++ b/server-tools/instance-manager/angel.cc @@ -324,6 +324,12 @@ static int angel_main_loop() continue; } + /* Delete IM-angel PID file. */ + + my_delete(Options::Daemon::angel_pid_file_name, MYF(0)); + + /* IM-angel finished. */ + log_info("Angel: Manager exited normally. Exiting..."); return 0; |