From 4c19a6069203899a227344c4d210b984e5a1cc80 Mon Sep 17 00:00:00 2001
From: Darold Gilles <gilles@darold.net>
Date: Fri, 15 Jan 2016 22:29:35 +0100
Subject: [PATCH] Add remove of pid file at normal ending.

---
 pgbadger | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pgbadger b/pgbadger
index cb729ee..9507f34 100755
--- a/pgbadger
+++ b/pgbadger
@@ -1695,6 +1695,9 @@ $td = timediff($t2, $t1);
 $td = timediff($t2, $t0);
 &logmsg('DEBUG', "the total execution time took: " . timestr($td));
 
+# Remove pidfile
+unlink("$PID_DIR/pgbadger.pid");
+
 exit 0;
 
 #-------------------------------------------------------------------------------
-- 
2.40.0