From 13cb957c77f11675b35148bc9d0c23ee84021c68 Mon Sep 17 00:00:00 2001
From: unknown <anozdrin/alik@booka.opbmk>
Date: Sat, 24 Feb 2007 13:37:13 +0300
Subject: Fix merge.

---
 server-tools/instance-manager/angel.cc | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'server-tools')

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;
-- 
cgit v1.2.1