From: Michael Chang <mchang@suse.com>
Date: Fri, 22 Jan 2016 10:05:32 +0000 (+0100)
Subject: Restore terminal settings on grub-emu exit.
X-Git-Tag: 2.02-beta3~64
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64e2d139fe1c9133b0eda0a9da8e8c2c03368dea;p=thirdparty%2Fgrub.git

Restore terminal settings on grub-emu exit.
---

diff --git a/grub-core/kern/emu/main.c b/grub-core/kern/emu/main.c
index 51e8a5715..953a93c8a 100644
--- a/grub-core/kern/emu/main.c
+++ b/grub-core/kern/emu/main.c
@@ -65,6 +65,12 @@ grub_reboot (void)
   longjmp (main_env, 1);
 }
 
+void
+grub_exit (void)
+{
+  grub_reboot ();
+}
+
 void
 grub_machine_init (void)
 {
diff --git a/grub-core/kern/emu/misc.c b/grub-core/kern/emu/misc.c
index 06985013d..d361feb00 100644
--- a/grub-core/kern/emu/misc.c
+++ b/grub-core/kern/emu/misc.c
@@ -134,11 +134,13 @@ xasprintf (const char *fmt, ...)
 }
 #endif
 
+#if !defined (GRUB_MACHINE_EMU) || defined (GRUB_UTIL)
 void
 grub_exit (void)
 {
   exit (1);
 }
+#endif
 
 grub_uint64_t
 grub_get_time_ms (void)