This is an automated email from the ASF dual-hosted git repository.
sebb pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/whimsy.git
The following commit(s) were added to refs/heads/master by this push:
new 8a78bcb1 Give a bit more time
8a78bcb1 is described below
commit 8a78bcb14e5267fb8c85ade0d2ae7407177af497
Author: Sebb <[email protected]>
AuthorDate: Sat Dec 9 00:18:39 2023 +0000
Give a bit more time
---
tools/site-scan.rb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/site-scan.rb b/tools/site-scan.rb
index 05a007d9..38f3a852 100755
--- a/tools/site-scan.rb
+++ b/tools/site-scan.rb
@@ -230,7 +230,7 @@ def exec_with_timeout(cmd, timeout)
ret = Process.kill(-2, pid) # INT
$stderr.puts "WARN: #{Time.now} sent kill -2 #{pid} ret=#{ret}"
- sleep 5 # allow some time for process to exit
+ sleep 15 # allow some time for process to exit
$stderr.puts "WARN: #{Time.now} about to kill -15 #{pid}"
ret = Process.kill(-15, pid) # TERM
