From 2166d0575f78eb3e61a65e85d7d7121864d27c9d Mon Sep 17 00:00:00 2001
From: Michiel Broek <mbse@mbse.eu>
Date: Sun, 2 Sep 2007 12:50:32 +0000
Subject: [PATCH] Fixed Debian init script

---
 script/init.Debian | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/script/init.Debian b/script/init.Debian
index f59f1c88..e8859842 100644
--- a/script/init.Debian
+++ b/script/init.Debian
@@ -50,15 +50,16 @@ case "$1" in
 	    echo -n "logoff users "
 	    su mbse -c '$MBSE_ROOT/bin/mbstat close wait -quiet' >/dev/null
 	    echo -n " stopping mbtask"
-	    kill `cat $MBSE_ROOT/var/run/mbtask`
+	    pid=$( cat $MBSE_ROOT/var/run/mbtask )
+	    kill $pid
 	    i=10 
 	    doit=1
-	    while let 'i > 0' && let 'doit != 0'
+	    while [ $i -gt 0 ] && [ $doit = 1 ]
 	    do
 		if [ -f $MBSE_ROOT/var/run/mbtask ]; then
 		    echo -n "."
 		    sleep 1
-		    let i=i-1
+		    i=`expr $i - 1`
 		else
 		    doit=0
 		fi