From 906b4dc90a115ccd4a15511dee5bc74f52392aee Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 6 Dec 2013 19:12:06 +0100
Subject: [PATCH] hw: format fix in activity table

ref #989
---
 base-hw/src/core/kernel/thread.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index ad1a76a4d..20b1fc9f8 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -612,7 +612,7 @@ void Thread::_print_activity()
 {
 	static Thread * idle = dynamic_cast<Thread *>(cpu_scheduler()->idle());
 	Genode::printf("\033[33m[%u] %s", pd_id(), pd_label());
-	Genode::printf("(%u) %s:\033[0m", id(), label());
+	Genode::printf(" (%u) %s:\033[0m", id(), label());
 	if (id() == idle->id()) {
 		Genode::printf("\033[32m run\033[0m");
 		_print_common_activity();
@@ -629,7 +629,7 @@ void Thread::_print_activity()
 		_print_activity_when_awaits_ipc();
 		break; }
 	case AWAITS_RESUME: {
-		Genode::printf("\033[32m await RES \033[0m");
+		Genode::printf("\033[32m await RES\033[0m");
 		break; }
 	case AWAITS_SIGNAL: {
 		unsigned const receiver_id = Signal_handler::receiver()->id();