diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-04-29 20:49:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-29 20:49:05 +0000 |
| commit | 07152891c24ab1d43f647d7250f691842a473e84 (patch) | |
| tree | 22fc34e7b1bf308cd63bcda05bd0c7e7384379fa | |
| parent | 42dad8647168232b9fce7dbfcfcb02aac26ab6a8 (diff) | |
(reboot_system): Not *yet*.
| -rw-r--r-- | init/init.c | 4 |
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", |