From c2a51adee8ebb65e507bc499d782050922790578 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Wed, 23 May 2012 09:09:36 +0200
Subject: [PATCH] 	* grub-core/normal/term.c (read_terminal_list):
 Terminate the terminal 	name with \0.

---
 ChangeLog               | 5 +++++
 grub-core/normal/term.c | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index c6a18945d..96cfb6b4f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-05-23  Vladimir Serbinenko  <phcoder@gmail.com>
+
+	* grub-core/normal/term.c (read_terminal_list): Terminate the terminal
+	name with \0.
+
 2012-05-22  Jordan Uggla  <jordan.uggla@gmail.com>
 
 	* docs/grub-dev.texi: Remove dot from .png.
diff --git a/grub-core/normal/term.c b/grub-core/normal/term.c
index ffb3bfeac..dc5fdcb1d 100644
--- a/grub-core/normal/term.c
+++ b/grub-core/normal/term.c
@@ -368,6 +368,7 @@ read_terminal_list (const char *prefix)
       p = grub_strchr (name, ':');
       if (! p)
 	continue;
+      *p = 0;
 
       p++;
       while (*p == ' ' || *p == '\t')