4
# reboot FAI correctly, Thomas Lange, Uni Koeln, copyright 2000-2004
7
. /usr/lib/fai/subroutines
8
. /usr/lib/fai/subroutines-`uname -s | tr /A-Z/ /a-z/`
10
[ -f /tmp/fai/variables.sh ] && . /tmp/fai/variables.sh
12
while getopts s opt ; do
20
killall -q apt-get dpkg tar gzip yes cat syslogd
22
[ "X" == "X$SSH_CLIENT" -a "$TERM" != "dumb" ] && killall -q sshd
26
umount $FAI_ROOT/proc $FAI_ROOT/dev/pts
30
echo "$HOSTNAME now rebooting"
32
if [ "X" == "X$SSH_CLIENT" -a "$TERM" != "dumb" ]; then