(whimsy) branch master updated: Allow some exit time

[sebb]

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 270c5d9b Allow some exit time
270c5d9b is described below

commit 270c5d9bf8472e884540381a2f7f5e51fb9b53c2
Author: Sebb <sebb...@users.noreply.github.com>
AuthorDate: Thu Dec 7 09:09:38 2023 +0000

    Allow some exit time
---
 tools/site-scan.rb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/site-scan.rb b/tools/site-scan.rb
index 71f12361..05a007d9 100755
--- a/tools/site-scan.rb
+++ b/tools/site-scan.rb
@@ -230,6 +230,8 @@ 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
+
       $stderr.puts "WARN:  #{Time.now} about to kill -15 #{pid}"
       ret = Process.kill(-15, pid) # TERM
       $stderr.puts "WARN:  #{Time.now} sent kill -15 #{pid} ret=#{ret}"