From 1c3cc096c8902088c92eacd1df4df0efa128a167 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Fri, 9 Oct 2015 14:30:19 +0200
Subject: 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 4215880b..3ecb7ef6 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
-- 
cgit v1.2.3-70-g09d2