We should use the mnemonic rather than a signal number.

diff --git a/pgbadger b/pgbadger
index 8eb143e5e2c3e882ef63b1319f31fd480c9a8395..4ba69255ca0bb87e0d663de3f4bca42af95951a5 100755 (executable)
--- a/pgbadger
+++ b/pgbadger
@@ -1473,7 +1473,7 @@ if ( ($#given_log_files >= 0) && (($queue_size > 1) || ($job_per_file > 1)) ) {
 
        # Terminate the process logger
        foreach my $k (keys %RUNNING_PIDS) {
-               kill(10, $k);
+               kill('USR1', $k);
                %RUNNING_PIDS = ();
        }
 
@@ -2938,7 +2938,7 @@ print STDERR "UUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU ($cur_
 
        # Inform the parent that it should stop parsing other files
        if ($terminate) {
-               kill(12, $parent_pid);
+               kill('USR2', $parent_pid);
                return $terminate;
        }
 
@@ -3026,7 +3026,7 @@ print STDERR "UUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU ($cur_
 
        # Inform the parent that it should stop parsing other files
        if ($getout) {
-               kill(12, $parent_pid);
+               kill('USR2', $parent_pid);
        }
 
        # Save last line into temporary file