From a34ab1b9786dcc08951a46ccf835a0c3ab70e2bf Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 19 Aug 2014 16:58:38 +0200
Subject: [PATCH] terminal_log: don't write null-termination to terminal

Fixes #1231.
---
 repos/os/src/server/terminal_log/main.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/repos/os/src/server/terminal_log/main.cc b/repos/os/src/server/terminal_log/main.cc
index cf6fc9e98..0b782ef59 100644
--- a/repos/os/src/server/terminal_log/main.cc
+++ b/repos/os/src/server/terminal_log/main.cc
@@ -74,9 +74,7 @@ namespace Genode {
 				 */
 				enum { ESC = 27 };
 				if ((string[0] == ESC) && (len == 5) && (string[4] == '\n')) {
-					char buf[5];
-					strncpy(buf, string, 5);
-					_terminal->write(buf, len);
+					_terminal->write(string, len - 1);
 					return len;
 				}