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; }