#! /bin/sh

. "`dirname $0`/rcdefs"

case "$1" in
  start)
    # Reboot after kernel panic.
    [ -n "${PANIC_REBOOT_DELAY}" ] && \
    [ -w "/proc/sys/kernel/panic" ] && \
      echo ${PANIC_REBOOT_DELAY} > /proc/sys/kernel/panic
    ;;
  stop)
    ;;
  *)
    Usage "$0"
    exit 1
esac

exit 0
