#!/bin/sh
#
# Reboot machine to make sure all processes are using the same and
# correct content of /etc/resolv.conf and /etc/localtime.
#
# This must be done after 99inittab, to make sure base-config do not
# start again after the reboot.  Prefixing this package with 99z to
# make sure it is sorted after 99inittab.

set -e

pkglibdir=/usr/lib/debian-edu-install

. $pkglibdir/debian-edu-common

init_debconf

# Report why we reboot.
db_fset debian-edu-install/reboot seen false || true
db_input critical debian-edu-install/reboot || [ $? -eq 30 ]
db_go || true

shutdown -r now

exit 0
