[Qa-jenkins-scm] [jenkins.debian.net] 01/01: reproducible: give process some time to die

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository jenkins.debian.net.

commit 1c3cc096c8902088c92eacd1df4df0efa128a167
Author: Holger Levsen <holger at layer-acht.org>
Date:   Fri Oct 9 14:30:19 2015 +0200

    reproducible: give process some time to die
---
 bin/reproducible_maintenance.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index 4215880..3ecb7ef 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -288,6 +288,7 @@ for i in $PBUIDS ; do
 		# let's be generous and consider 14 hours here...
 		if [ $AGE -gt $(( 14*60*60 )) ] ; then
 			sudo kill -9 $p 2>&1 || (echo "Could not kill:" ; ps -F -p "$p")
+			sleep 2
 			# check it's gone
 			AGE=$(ps -p $p -o etimes= || echo 0)
 			if [ $AGE -gt $(( 14*60*60 )) ] ; then

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/qa/jenkins.debian.net.git