summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-05-24 16:29:10 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-05-24 16:29:10 +0000
commit3cec75ca6c6c7d0c3d07d4533653c285a819812b (patch)
treea600d5e770f5bd31368f685808d598278332a0ce
parentc50925c2f3a2c3600affcb0984fa5563d741c4b5 (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.c1
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 (;;);