blob: 1291b4466d60a2ab8385ae34618380ec6da6bdd0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From 6214a1df308f46738a832b04489200127e59a927 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 17 Dec 2014 11:43:09 +0100
Subject: [PATCH hurd 2/2] startup: faster reboots
---
startup/startup.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/startup/startup.c b/startup/startup.c
index 601c894..ebd0e12 100644
--- a/startup/startup.c
+++ b/startup/startup.c
@@ -176,7 +176,7 @@ reboot_mach (int flags)
printf ("%s: %sing Mach (flags %#x)...\n",
program_invocation_short_name, BOOT (flags), flags);
fflush (stdout);
- sleep (5);
+ sleep (1);
while ((err = host_reboot (host_priv, flags)))
error (0, err, "reboot");
for (;;);
--
2.1.3
|
