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
(parent:
a05e3ad
)
last resort if BSD::Resource is not available in ./bomb.pl, part of MKWS-157
author
Wolfram Schneider
<wosch@indexdata.dk>
Tue, 9 Dec 2014 14:17:49 +0000
(14:17 +0000)
committer
Wolfram Schneider
<wosch@indexdata.dk>
Tue, 9 Dec 2014 14:17:49 +0000
(14:17 +0000)
test/bin/bomb
patch
|
blob
|
history
diff --git
a/test/bin/bomb
b/test/bin/bomb
index
044bf12
..
c511b36
100755
(executable)
--- a/
test/bin/bomb
+++ b/
test/bin/bomb
@@
-8,6
+8,10
@@
# to the process group will not kill any parent processes.
set -o monitor
+# the maximum amount of cpu time in seconds
+# last resort if BSD::Resource is not available in ./bomb.pl
+ulimit -t 120
+
# now run the perl script. For unknown reasons, the
# call to setpgrp() in perl does not work as expected,
# and we solve the issue by this simple shell wrapper