summaryrefslogtreecommitdiffstats
path: root/bin/schroot-create.sh
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-09-22 20:19:27 +0200
committerHolger Levsen <holger@layer-acht.org>2015-09-22 20:19:27 +0200
commit5a487053f92e45622e0ec4c48e9346de445ae0a4 (patch)
treec665075e92ff950dc4945ff8961437120e848bb7 /bin/schroot-create.sh
parent8d21eda49616b4b8deef1592096c1085f64ed832 (diff)
downloadjenkins.debian.net-5a487053f92e45622e0ec4c48e9346de445ae0a4.tar.xz
reproducible: improve code to check whether a schroot is in use
Diffstat (limited to 'bin/schroot-create.sh')
-rwxr-xr-xbin/schroot-create.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh
index 0f666ab8..d0deea9e 100755
--- a/bin/schroot-create.sh
+++ b/bin/schroot-create.sh
@@ -186,7 +186,7 @@ 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 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
+ ps fax|grep -v grep | grep -v schroot-create.sh |grep "schroot --directory" || for i in $(schroot --all-sessions -l ) ; do ps fax|grep -v grep |grep -v schroot-create.sh | grep "schroot --directory" || schroot -e -c $i ; done
RESULT=$(schroot --all-sessions -l)
if [ -z "$RESULT" ] ; then
echo "No schroot sessions in use atm..."