#!/bin/sh
#     reboot.sh  - script to reboot in Linux
#
logfile=/var/log/reboot.log
# ADDLOG=addLogRecord
ADDLOG=echo

# init the logfile
date >$logfile

# do an OS shutdown & reboot
# echo "shutdown -r now"  >>$logfile
# shutdown -r now  >>$logfile
  
# Could use this instead if S5000 (with IPMI), which 
# does a soft shutdown with an IPMI watchdog reset if
# it does not complete.
echo "ipmiutil reset -o"  >>$logfile
ipmiutil reset -o  >>$logfile

exit $ret 
