From: Wolfram Schneider <wosch@indexdata.dk>
Date: Tue, 7 Jul 2015 14:13:16 +0000 (+0000)
Subject: disable CPU limit.
X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=commitdiff_plain;h=a914309eea04e44fe857d2b36728bfe90d8f63a9

disable CPU limit.

we already set the CPU limit in the wrapper ./bomb
---

diff --git a/test/bin/bomb.pl b/test/bin/bomb.pl
index ae97859..7e9ab0a 100755
--- a/test/bin/bomb.pl
+++ b/test/bin/bomb.pl
@@ -38,17 +38,18 @@ my @system = @ARGV;
 die usage if $help;
 die usage if !@system;
 
-# set CPU limit, in case the alarm handler will
-# be ignored
-eval {
-    require BSD::Resource;
-    BSD::Resource::setrlimit( "RLIMIT_CPU", $timeout, 2 * $timeout )
-      or die "Cannot set CPU limit: $!\n";
-};
-if ($@) {
-    warn
-      "WARNING: things would go more nicely with the BSD::Resource package\n";
-}
+# disabled - we set the CPU limit in the wrapper ./bomb
+## set CPU limit, in case the alarm handler will
+## be ignored
+#eval {
+#    require BSD::Resource;
+#    BSD::Resource::setrlimit( "RLIMIT_CPU", $timeout, 2 * $timeout )
+#      or die "Cannot set CPU limit: $!\n";
+#};
+#if ($@) {
+#    warn
+#      "WARNING: things would go more nicely with the BSD::Resource package\n";
+#}
 
 #
 # configure signal handlers
@@ -72,4 +73,3 @@ system(@system) == 0
   or die "system('@system') failed: ?='$?', !='$!', ^E='$^E'\n";
 
 1;
-