-- /etc/init.d/halt.sh 2008-11-15 04:06:43.000000000 +0000
++ halt.sh 2008-11-27 12:56:09.000000000 +0000
x=${x//\\040/ }
# Do not umount these ... will be different depending on value of CDBOOT
if [[ ${x} != "/" \
if [ -n $(echo "${x}" | egrep "${RC_NO_UMOUNTS}") ] ; then
&& -n $(echo "${x}" | egrep "${RC_NO_UMOUNTS}") ]] ; then
continue
fi