From 0f1ace1ef206ef46ec17feda2b9a2e67842346eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carl-Benedikt=20Kr=C3=BCger?=
 <benedikt.krueger@rwth-aachen.de>
Date: Tue, 26 Jul 2011 14:30:16 +0200
Subject: [PATCH] shell test

---
 kernel/shell.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/shell.c b/kernel/shell.c
index 88917e7f..f33fa256 100644
--- a/kernel/shell.c
+++ b/kernel/shell.c
@@ -72,7 +72,7 @@ void shell_init(int srv_or_cli)
             sleep(1);
 
     }
-    sleep(12);
-    SHELLDEBUGPRINTF("I AM CORE NO. %d",srv_or_cli);
+    sleep(5);
+    SHELLDEBUGPRINTF("I AM CORE NO. %d\n",srv_or_cli);
 
 }