shutdown: fallback on Mach shutdown

* startup/startup.c (reboot_mach): In case do_shutdown returns, fallback to
Mach's host_reboot.

1 files changed, 12 insertions, 7 deletions

diff --git a/startup/startup.c b/startup/startup.c
index 3ca38e64..33b5b9f2 100644
--- a/startup/startup.c
+++ b/startup/startup.c
@@ -206,16 +206,21 @@ reboot_mach (int flags)
   else
     {
       error_t err;
-      fprintf (stderr, "%s: %sing Mach (flags %#x)...\n",
-               program_invocation_short_name, BOOT (flags), flags);
       sleep (5);
       if (flags & RB_HALT) {
-        do_shutdown();
-      } else {
-        err = host_reboot (host_priv, flags);
-        if (err)
-          error (1, err, "reboot");
+	fprintf (stderr, "%s: %sing Hurd...\n",
+	         program_invocation_short_name, BOOT (flags));
+	err = do_shutdown ();
+	if (err)
+	  error (0, err, "shutdown");
+	sleep (2);
+	fprintf (stderr, "Didn't succeed\n");
       }
+      fprintf (stderr, "%s: %sing Mach (flags %#x)...\n",
+               program_invocation_short_name, BOOT (flags), flags);
+      err = host_reboot (host_priv, flags);
+      if (err)
+	error (1, err, "reboot");
       for (;;) sleep (1);
     }
 }