Add remove of pid file at normal ending.

diff --git a/pgbadger b/pgbadger
index cb729ee15f085cb0223fffe935b24d71820b56b7..9507f34f61b67255055d425f4a646ed4ea6ce1c7 100755 (executable)
--- 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;
 
 #-------------------------------------------------------------------------------