summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-10-09 14:30:19 +0200
committerHolger Levsen <holger@layer-acht.org>2015-10-09 14:30:19 +0200
commit1c3cc096c8902088c92eacd1df4df0efa128a167 (patch)
treeb240bd640ae23cf0a5caa0d6c992d0be87516233
parenta90b816e6f455b19b9053f787af26dbcaa4779bd (diff)
downloadjenkins.debian.net-1c3cc096c8902088c92eacd1df4df0efa128a167.tar.xz
reproducible: give process some time to die
-rwxr-xr-xbin/reproducible_maintenance.sh1
1 files changed, 1 insertions, 0 deletions
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