diff options
| -rw-r--r-- | init/init.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/init/init.c b/init/init.c index 6fea4795..a6e0a718 100644 --- a/init/init.c +++ b/init/init.c @@ -156,9 +156,7 @@ reboot_system (int flags) error_t err; printf ("init: notifying %p\n", (void *) n->notify_port); fflush (stdout); - /* XXX Need to time out on reply. - Add "waittime timeout: integer_t" param in msg.defs. */ - err = msg_startup_dosync (n->notify_port); + err = msg_startup_dosync (n->notify_port, 1000); /* 1 second to reply */ if (err && err != MACH_SEND_INVALID_DEST) { printf ("init: %p complained: %s\n", |