2008-11-09 Robert Millan <rmh@aybabtu.com>

        * commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
        `terminal_input' / `terminal_output', not `terminal'.

diff --git a/ChangeLog b/ChangeLog
index 5024cda2a7f1c8bcbd2bae2e468782cdec66ac30..b8e0b1810cb74ad610da898bf2bbc87d9aa505d4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-09  Robert Millan  <rmh@aybabtu.com>
+
+       * commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
+       `terminal_input' / `terminal_output', not `terminal'.
+
 2008-11-08  Robert Millan  <rmh@aybabtu.com>
 
        * Makefile.in (include_DATA): Fix srcdir=. assumption.

diff --git a/commands/terminal.c b/commands/terminal.c
index 31c979d4c0f18ab03c8da8d2adfde68b876a3fbb..fa73644561b385efef6b2ca87778f31673e547d9 100644 (file)
--- a/commands/terminal.c
+++ b/commands/terminal.c
@@ -127,5 +127,6 @@ GRUB_MOD_INIT(terminal)
 
 GRUB_MOD_FINI(terminal)
 {
-  grub_unregister_command ("terminal");
+  grub_unregister_command ("terminal_input");
+  grub_unregister_command ("terminal_output");
 }