Refresh before abort

This ensures that abort message is actually visible to the user.

diff --git a/grub-core/kern/misc.c b/grub-core/kern/misc.c
index e3f8516339f951f2260fc47945d617d4e9ade5e5..d1a54df6c12e3358e07aa86366c65af22ca3af5c 100644 (file)
--- a/grub-core/kern/misc.c
+++ b/grub-core/kern/misc.c
@@ -1106,6 +1106,8 @@ grub_fatal (const char *fmt, ...)
   grub_vprintf (_(fmt), ap);
   va_end (ap);
 
+  grub_refresh ();
+
   grub_abort ();
 }