#! /bin/sh
#
# reboot Execute the reboot command.
#
# Version: @(#)reboot 2.75 22-Jun-1998 miquels@cistron.nl
#
PATH=/sbin:/bin:/usr/sbin:/usr/bin
# Update the timestamp, if there is one
if test -e /etc/timestamp
then
date +%2m%2d%2H%2M%Y > /etc/timestamp
fi
echo -n "Rebooting... "
reboot -d -f -i