2010-11-30 Robert Millan <rmh@gnu.org>

	* grub-core/commands/echo.c (grub_cmd_echo): Call grub_refresh()
	after printing a message.

diff --git a/ChangeLog b/ChangeLog
index 815004080f9c546aeaabc5bdcc5d8b9380ff8114..92071f3c50e5020007e5a21728944db1a9c764d1 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-30  Robert Millan  <rmh@gnu.org>
+
+       * grub-core/commands/echo.c (grub_cmd_echo): Call grub_refresh()
+       after printing a message.
+
 2010-11-23  Colin Watson  <cjwatson@ubuntu.com>
 
        * include/grub/gpt_partition.h (GRUB_GPT_PARTITION_TYPE_BIOS_BOOT):

diff --git a/grub-core/commands/echo.c b/grub-core/commands/echo.c
index 13bc1c3fdf6e2d4858413de565b92ad9b908f617..2842de603c8c0ebab33e9c19abb5f8b7f2ca89df 100644 (file)
--- a/grub-core/commands/echo.c
+++ b/grub-core/commands/echo.c
@@ -1,7 +1,7 @@
 /* echo.c - Command to display a line of text  */
 /*
  *  GRUB  --  GRand Unified Bootloader
- *  Copyright (C) 2006,2007  Free Software Foundation, Inc.
+ *  Copyright (C) 2006,2007,2010  Free Software Foundation, Inc.
  *
  *  GRUB is free software: you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -106,6 +106,8 @@ grub_cmd_echo (grub_extcmd_context_t ctxt, int argc, char **args)
   if (newline)
     grub_printf ("\n");
 
+  grub_refresh ();  
+
   return 0;
 }