Reboot problem workaround - call shutdown directly.

diff --git a/kernel/main.c b/kernel/main.c
index 74c33b2ca683f51f2fdf1da04fd56a6dfa326ebf..acbdf8deaf8f294f4daafa61edac33fbb753691f 100755 (executable)
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -209,7 +209,7 @@ int how;
    */
   kprintf("MINIX will now be shut down ...\n");
   tmr_arg(&shutdown_timer)->ta_int = how;
-  set_timer(&shutdown_timer, get_uptime() + HZ, shutdown);
+  shutdown(&shutdown_timer);
 }
 /*===========================================================================*
  *                             shutdown                                     *