summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-09-14 13:20:18 +0200
committerHolger Levsen <holger@layer-acht.org>2015-09-14 13:20:18 +0200
commitd24e39270fce7113b43f53622f359bff10989aa1 (patch)
tree4da5611dd040c05a254585dc4c7db7b868e65d72
parent3261662392605025031857a2cecabb0b2b4c98b7 (diff)
downloadjenkins.debian.net-d24e39270fce7113b43f53622f359bff10989aa1.tar.xz
reproducible: try longer to cleanup schroot sessions
-rwxr-xr-xbin/schroot-create.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh
index 20e5f3ab..31d1bed0 100755
--- a/bin/schroot-create.sh
+++ b/bin/schroot-create.sh
@@ -184,13 +184,13 @@ bootstrap() {
cleanup_schroot_sessions() {
# FIXME: if this works well, move to _common.sh and use the same function from _maintenance.sh
local RESULT=""
- for loop in $(seq 0 9) ; do
+ for loop in $(seq 0 19) ; do
ps fax|grep -v grep |grep schroot || for i in $(schroot --all-sessions -l ) ; do ps fax|grep -v grep |grep schroot || schroot -e -c $i ; done
RESULT=$(schroot --all-sessions -l)
if [ -z "$RESULT" ] ; then
break
fi
- sleep 5
+ sleep 15
done
}