diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-17 17:23:40 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-17 17:23:40 +0200 |
| commit | 5cfc4ced688642da7363c7bceef52eeda35b6b56 (patch) | |
| tree | bb2f4256937fd1e0bb5ed2617bac269de7f033c1 | |
| parent | 6de8b04c1d0d77e0f5054a079452d4031fe686c4 (diff) | |
| download | jenkins.debian.net-5cfc4ced688642da7363c7bceef52eeda35b6b56.tar.xz | |
reproducible: always be true
| -rwxr-xr-x | bin/common-functions.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index aa765272..830316e3 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -137,14 +137,14 @@ cleanup_schroot_sessions() { for loop in $(seq 0 40) ; do # first, check if no process using "schroot" is running, if thats the case, loop through all schroot sessions: # arch sessions are ignored, because they are handled properly - pgrep -f "schroot --directory" || for i in $(schroot --all-sessions -l |grep -v "session:arch") ; do + pgrep -f "schroot --directory" || for i in $(schroot --all-sessions -l |grep -v "session:arch"||true) ; do # then, check that schroot is still not run, and then delete the session if [ -z $i ] ; then continue fi pgrep -f "schroot --directory" || schroot -e -c $i done - RESULT=$(schroot --all-sessions -l|grep -v "session:arch") + RESULT=$(schroot --all-sessions -l|grep -v "session:arch"||true) if [ -z "$RESULT" ] ; then echo "No schroot sessions in use atm..." echo |