summaryrefslogtreecommitdiff
path: root/tool/lib
diff options
context:
space:
mode:
authorKoichi Sasada <ko1@atdot.net>2020-06-01 17:03:27 +0900
committerKoichi Sasada <ko1@atdot.net>2020-06-01 17:03:27 +0900
commit7b9527ce74de11afc8e890db83f2a13a6ed5dc91 (patch)
treec3ddbb92e66b314a904f1e1be83cd623609628c2 /tool/lib
parent3591703b31658f8e97eb0677e2261e6e7551307b (diff)
add more 2 sec.
After sending SEGV signal, but no response. Try to add 2 more seconds. If we can not have a detailed log, we need to use gdb/lldb to show the backtrace.
Diffstat (limited to 'tool/lib')
-rw-r--r--tool/lib/envutil.rb2
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|