#! /bin/sh

# $Id: faireboot,v 1.17 2002/04/15 14:32:06 lange Exp $
# reboot FAI correctly, Thomas Lange, Uni Koeln, copyright 2000,2001

. /etc/fai/fai.conf
. /usr/share/fai/subroutines
. /usr/share/fai/subroutines-$OS_TYPE

while getopts s opt ; do
        case "$opt" in
        s) save_log_remote ;;
        esac
done
FAI_ROOT=/tmp/target

cd /
killall -STOP rcS
killall -q apt-get dpkg tar gzip yes cat

[ "X" == "X$SSH_CLIENT" -a  "$TERM" != "dumb" ] && killall -q sshd

[ -f $FAI_ROOT/sbin/start-stop-daemon.distrib ] && 
    rmdivert /sbin/start-stop-daemon

umount $FAI_ROOT/proc $FAI_ROOT/dev/pts
umount -ar

echo "$HOSTNAME now rebooting"

if [ "X" == "X$SSH_CLIENT" -a  "$TERM" != "dumb" ]; then
    exec reboot -dfi
else
    killall -CONT rcS
    killall rcS
    init 6 &
fi
