diff options
Diffstat (limited to 'lib/nlp_ruby/misc.rb')
-rw-r--r-- | lib/nlp_ruby/misc.rb | 4 |
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 |