From db1c2a284ae9c8e8bb44e19b4dafee51ed803457 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carl-Benedikt=20Kr=C3=BCger?=
 <benedikt.krueger@rwth-aachen.de>
Date: Tue, 5 Jul 2011 13:34:35 +0200
Subject: [PATCH] benchmark

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

diff --git a/kernel/tests.c b/kernel/tests.c
index adb3686b..ba6499d3 100644
--- a/kernel/tests.c
+++ b/kernel/tests.c
@@ -148,7 +148,7 @@ __inline int get_core_no(void)
 void* server_task(void* e)
 {
     int sockfd, newsockfd, portno, clilen;
-    char buffer[512];
+    char buffer[256];
     struct sockaddr_in serv_addr, cli_addr;
     int  n;
     uint64_t tmp1,tmp2;
@@ -228,7 +228,7 @@ void* server_task(void* e)
 
 void* client_task(void* e)
 {
-        char    dir[512];
+        char    dir[256];
 	int	sd;
 	struct sockaddr_in sin;
 	struct sockaddr_in pin;