diff options
author | Patrick Simianer <p@simianer.de> | 2014-03-10 17:12:26 +0100 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2014-03-10 17:12:26 +0100 |
commit | aba7c124e3402a39a8237a7ae0ec4bc15f4016ce (patch) | |
tree | 2011c58320f80f8d29e66c3b3e07d574bedad8ef /lib | |
parent | 6fc9c7ce2171687ac3319973d1af02904b06b790 (diff) |
ignore_fail for spawn_with_timeout
Diffstat (limited to 'lib')
-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 |