From 132e4113427202f43ebc9f42b7b1707f280b4904 Mon Sep 17 00:00:00 2001
From: robertmh <robertmh@localhost>
Date: Sun, 9 Nov 2008 12:44:31 +0000
Subject: [PATCH] 2008-11-09  Robert Millan  <rmh@aybabtu.com>

        * commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
        `terminal_input' / `terminal_output', not `terminal'.
---
 ChangeLog           | 5 +++++
 commands/terminal.c | 3 ++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 5024cda2a..b8e0b1810 100644
--- 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 31c979d4c..fa7364456 100644
--- 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");
 }