+ if [ -n "$HAL" ] ; then
+ if is_value_set "hal" ; then
+ update-rc.d -f hal remove >/dev/null 2>&1
+ update-rc.d hal start 24 2 3 4 5. stop 16 0 1 6 . >/dev/null 2>&1
+ else
+ update-rc.d -f hal remove >/dev/null 2>&1
+ update-rc.d hal stop 20 0 1 6 . >/dev/null 2>&1
+ fi
+ fi
+