summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-04-29 20:49:05 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-04-29 20:49:05 +0000
commit07152891c24ab1d43f647d7250f691842a473e84 (patch)
tree22fc34e7b1bf308cd63bcda05bd0c7e7384379fa
parent42dad8647168232b9fce7dbfcfcb02aac26ab6a8 (diff)
(reboot_system): Not *yet*.
-rw-r--r--init/init.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c
index e6f6cd86..35cd466f 100644
--- a/init/init.c
+++ b/init/init.c
@@ -156,7 +156,11 @@ reboot_system (int flags)
error_t err;
printf ("init: notifying %p\n", (void *) n->notify_port);
fflush (stdout);
+#ifdef notyet
err = msg_startup_dosync (n->notify_port, 60000); /* 1 minute to reply */
+#else
+ err = msg_startup_dosync (n->notify_port);
+#endif
if (err && err != MACH_SEND_INVALID_DEST)
{
printf ("init: %p complained: %s\n",