Restore terminal settings on grub-emu exit.

diff --git a/grub-core/kern/emu/main.c b/grub-core/kern/emu/main.c
index 51e8a57156130c2bbc0dc9fa6aacf879d2b3013e..953a93c8a5f3ed91b16926a904f6abe66d3e1775 100644 (file)
--- 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 06985013d846c1d2a691cdae0b5084c8e92b8146..d361feb00c64f315fbf172905f7db9cabb1658f6 100644 (file)
--- 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)