diff options
author | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2016-04-23 00:08:53 +0300 |
---|---|---|
committer | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2016-04-23 00:08:53 +0300 |
commit | bb4d5aa544ac9ae1cfd002a71458e05a7e6f2707 (patch) | |
tree | e3b057a9641ac19c403a20877483f23be01a52b4 /scripts | |
parent | 075821b8adc33d34aab5a85615b72afaee54f288 (diff) |
use POSIX
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/rescore.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/rescore.pl b/scripts/rescore.pl index c7accf6e..c32d16c7 100755 --- a/scripts/rescore.pl +++ b/scripts/rescore.pl @@ -3,6 +3,7 @@ use strict; use Getopt::Long; use File::Temp qw(tempfile); +use POSIX; my $PID = $$; $SIG{TERM} = $SIG{INT} = $SIG{QUIT} = sub { die; }; |