database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
Code Activity

Fix merge.

Browse Source
This commit is contained in:
unknown
2007-02-24 13:37:13 +03:00
parent 4ce41024c1
commit 13cb957c77
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
server-tools/instance-manager/angel.cc
View File

@ -324,6 +324,12 @@ static int angel_main_loop()
continue; 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..."); log_info("Angel: Manager exited normally. Exiting...");
return 0; return 0;