diff options
| -rw-r--r-- | tool/lib/envutil.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/lib/envutil.rb b/tool/lib/envutil.rb index c6692d9089..9d1521bf9b 100644 --- a/tool/lib/envutil.rb +++ b/tool/lib/envutil.rb @@ -72,7 +72,7 @@ module EnvUtil end module_function :timeout - def terminate(pid, signal = :TERM, pgroup = nil, reprieve = 1) + def terminate(pid, signal = :TERM, pgroup = nil, reprieve = 3) reprieve = apply_timeout_scale(reprieve) if reprieve signals = Array(signal).select do |sig| |