echo "$LOG"
}
+#------------------------------------------------
+# do_reboot
+#------------------------------------------------
+do_reboot() {
+ log "Reboot"
+ "$SYNC"
+ "$REBOOT"
+ while true
+ do
+ sleep 1
+ echo "."
+ done
+}
+
#------------------------------------------------
# get partition id
#------------------------------------------------
;;
2)
echo "verifyboot: enabled but corrupted"
- # should deal with the error like reboot.
+ # reboot
+ do_reboot
;;
3)
echo "verifyboot: disabling"
done
}
-#------------------------------------------------
-# do_reboot
-#------------------------------------------------
-do_reboot() {
- log "Reboot"
- "$SYNC"
- "$REBOOT"
- while true
- do
- sleep 1
- echo "."
- done
-}
-
#------------------------------------------------
# check_for_rw_power_fail
#------------------------------------------------
GREP="/bin/grep"
BLKID="/usr/sbin/blkid"
+#------------------------------------------------
+# do_reboot
+#------------------------------------------------
+do_reboot() {
+ echo "Reboot"
+ "$SYNC"
+ "$REBOOT"
+ while [ 1 ]
+ do
+ sleep 1
+ echo "."
+ done
+}
+
#------------------------------------------------
# get partition id
#------------------------------------------------
;;
2)
echo "verifyboot: enabled but corrupted"
- # should deal with the error like reboot.
+ # reboot
+ do_reboot
;;
3)
echo "verifyboot: disabling"
"$MOUNT" -t tmpfs tmpfs ${FAKE_ROOT}/tmp
}
-#------------------------------------------------
-# do_reboot
-#------------------------------------------------
-do_reboot() {
- echo "Reboot"
- "$SYNC"
- "$REBOOT"
- while [ 1 ]
- do
- sleep 1
- echo "."
- done
-}
-
#------------------------------------------------
# do_rw_update
#------------------------------------------------