remove extraneous ;

diff --git a/debian/spamass-milter.init b/debian/spamass-milter.init
index 00904f419445bc01f6794e4d4080e36d33479835..8557977638b27393ce6fc0f241180b8773a9daaf 100644 (file)
--- a/debian/spamass-milter.init
+++ b/debian/spamass-milter.init
@@ -87,7 +87,7 @@ start() {
            chown "$RUNAS" $(dirname $PIDFILE);
        fi;
     fi;
-    if [ -n "$RUNAS" ] && [ -d $(dirname $PIDFILE); ] && [ "$(stat -c '%U' $(dirname $PIDFILE))" = "$RUNAS" ]; then
+    if [ -n "$RUNAS" ] && [ -d $(dirname $PIDFILE) ] && [ "$(stat -c '%U' $(dirname $PIDFILE))" = "$RUNAS" ]; thenx
        echo "WARNING: $NAME will run as user $RUNAS but $(dirname $PIDFILE) is not owned by $RUNAS"
        echo "Either delete this directory or chown it appropriately. Startup attempts may fail."
     fi;