diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-09-22 20:19:27 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-22 20:19:27 +0200 |
commit | 5a487053f92e45622e0ec4c48e9346de445ae0a4 (patch) | |
tree | c665075e92ff950dc4945ff8961437120e848bb7 /bin/reproducible_maintenance.sh | |
parent | 8d21eda49616b4b8deef1592096c1085f64ed832 (diff) | |
download | jenkins.debian.net-5a487053f92e45622e0ec4c48e9346de445ae0a4.tar.xz |
reproducible: improve code to check whether a schroot is in use
Diffstat (limited to 'bin/reproducible_maintenance.sh')
-rwxr-xr-x | bin/reproducible_maintenance.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index d466d2eb..c4ec831f 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -114,7 +114,7 @@ fi # remove old and unused schroot sessions echo "$(date -u) - Removing unused schroot sessions." -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 +ps fax|grep -v grep |grep "schroot --directory" || for i in $(schroot --all-sessions -l ) ; do ps fax|grep -v grep |grep "schroot --directory" || schroot -e -c $i ; done # to explain this: # first, check if no process using "schroot" is running... # then loop through all schroot sessions |