* grub-core/normal/term.c (read_terminal_list): Terminate the terminal

	name with \0.

diff --git a/ChangeLog b/ChangeLog
index c6a18945d871c775509d95b26a604b9c9e9e3cf0..96cfb6b4f2d909685b0cd06370d08cb7eba15e8a 100644 (file)
--- 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 ffb3bfeac8f3b17802cf2e915b856bd7be0f19f4..dc5fdcb1df8080dc746806ab66f508113e0b9138 100644 (file)
--- 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')