diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 16:29:10 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 16:29:10 +0000 |
| commit | 3cec75ca6c6c7d0c3d07d4533653c285a819812b (patch) | |
| tree | a600d5e770f5bd31368f685808d598278332a0ce | |
| parent | c50925c2f3a2c3600affcb0984fa5563d741c4b5 (diff) | |
(reboot_mach): Insert a brief pause before actually rebooting the
kernel so that the user has a chance to see any messages that may be
displayed.
| -rw-r--r-- | init/init.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c index c15381dc..902c2fc5 100644 --- a/init/init.c +++ b/init/init.c @@ -134,6 +134,7 @@ reboot_mach (int flags) { printf ("init: %sing Mach (flags %#x)...\n", BOOT (flags), flags); fflush (stdout); + sleep (5); while ((errno = host_reboot (host_priv, flags))) perror ("host_reboot"); for (;;); |