summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-09-15 23:07:59 +0200
committerHolger Levsen <holger@layer-acht.org>2015-09-15 23:07:59 +0200
commit3870da9b1067d64a037fdd205d3be174199169d6 (patch)
tree97d753c2043506817f7d468bdb485ad042f7209f
parent64ac8e54330cc083d352da8d8def7bc1400f3786 (diff)
downloadjenkins.debian.net-3870da9b1067d64a037fdd205d3be174199169d6.tar.xz
reproducible: bugfix, dont let oneself block oneself…
-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 31d1bed0..54293129 100755
--- a/bin/schroot-create.sh
+++ b/bin/schroot-create.sh
@@ -184,8 +184,8 @@ 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 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
+ for loop in $(seq 0 40) ; do
+ ps fax|grep -v grep | grep -v schroot-create.sh |grep schroot || for i in $(schroot --all-sessions -l ) ; do ps fax|grep -v grep |grep -v schroot-create.sh | grep schroot || schroot -e -c $i ; done
RESULT=$(schroot --all-sessions -l)
if [ -z "$RESULT" ] ; then
break