unlink pid file on shutdown

diff --git a/src/tools.cc b/src/tools.cc
index db2c80bde95d2d6b7261842ccaf1e4e8a356d587..349a04ed9cd28f3968ba03008f73dcf427f0b739 100644 (file)
--- a/src/tools.cc
+++ b/src/tools.cc
@@ -1,5 +1,5 @@
 
-/* $Id: tools.cc,v 1.21 1996/04/04 05:19:51 wessels Exp $ */
+/* $Id: tools.cc,v 1.22 1996/04/04 19:03:11 wessels Exp $ */
 
 /*
  * DEBUG: Section 21          tools
@@ -152,6 +152,8 @@ void shut_down(sig)
      int sig;
 {
     debug(21, 1, "Shutting down...\n");
+    if (getPidFilename())
+        safeunlink(getPidFilename(), 0);
     storeWriteCleanLog();
     PrintRusage(NULL, debug_log);
     debug(21, 0, "Harvest Cache (Version %s): Exiting due to signal %d.\n",