summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/nlp_ruby/misc.rb4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/nlp_ruby/misc.rb b/lib/nlp_ruby/misc.rb
index b2ab885..0319a5f 100644
--- a/lib/nlp_ruby/misc.rb
+++ b/lib/nlp_ruby/misc.rb
@@ -58,14 +58,14 @@ class PriorityQueue
end
end
-def spawn_with_timeout cmd, t=4, debug=false
+def spawn_with_timeout cmd, t=4, ignore_fail=false, debug=false
STDERR.write cmd+"\n" if debug
pipe_in, pipe_out = IO.pipe
pid = Process.spawn(cmd, :out => pipe_out)
begin
Timeout.timeout(t) { Process.wait pid }
rescue Timeout::Error
- Process.kill('TERM', pid)
+ Process.kill('TERM', pid) if !ignore_fail
end
pipe_out.close
return pipe_in.read