[Piuparts-commits] [SCM] piatti.debian.org configuration files branch, develop, updated. 0.42-31-g97d8302

[Holger Levsen]

The following commit has been merged in the develop branch:
commit 97d830200e181a728a36cabd41f12a5537ff3b48
Author: Holger Levsen <holger at layer-acht.org>
Date:   Fri Jan 20 12:12:00 2012 +0100

    fix typo

diff --git a/home/piupartss/bin/slave_cleanup b/home/piupartss/bin/slave_cleanup
index 6611c1e..382d753 100755
--- a/home/piupartss/bin/slave_cleanup
+++ b/home/piupartss/bin/slave_cleanup
@@ -24,7 +24,9 @@
 set -e
 
 # do nothing if piuparts-slave is running
-if [ "$(ps fax|grep piuparts-slave|grep -v grep)" != "" ] && exit 0
+if [ "$(ps fax|grep piuparts-slave|grep -v grep)" != "" ] ; then 
+	exit 0
+fi
 
 # umount all mount points (should be none on boot, but this script can also be called at other times)
 for MOUNTPOINT in $(cat /proc/mounts|cut -d " " -f 2|grep /org/piuparts.debian.org/tmp/) ; do 

-- 
piatti.debian.org configuration files