projects
/
mkws-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
e037fab
)
sent signal TERM instead INT
author
Wolfram Schneider
<wosch@indexdata.dk>
Mon, 7 Sep 2015 09:38:30 +0000
(09:38 +0000)
committer
Wolfram Schneider
<wosch@indexdata.dk>
Mon, 7 Sep 2015 09:38:30 +0000
(09:38 +0000)
TERM seems to be more common for non-interactive scripts
test/bin/bomb.pl
patch
|
blob
|
history
diff --git
a/test/bin/bomb.pl
b/test/bin/bomb.pl
index
2dde3d4
..
b993c7a
100755
(executable)
--- a/
test/bin/bomb.pl
+++ b/
test/bin/bomb.pl
@@
-62,7
+62,7
@@
$SIG{ALRM} = sub {
warn "Command: @system\n";
# kill process group
- kill "INT", -$pgid;
+ kill "TERM", -$pgid;
};
# don't kill ourself