# HG changeset patch
# User unc0rr
# Date 1239625679 0
# Node ID 0792e1485d071bb0090a6a9249d14dd84da8f0cf
# Parent  955b049eb0994c7ed3951e87b185e5bd2cb49041
Less verbose server output

diff -r 955b049eb099 -r 0792e1485d07 gameServer/hedgewars-server.hs
--- a/gameServer/hedgewars-server.hs	Mon Apr 13 12:23:29 2009 +0000
+++ b/gameServer/hedgewars-server.hs	Mon Apr 13 12:27:59 2009 +0000
@@ -23,7 +23,7 @@
 
 setupLoggers =
 	updateGlobalLogger "Clients"
-		(setLevel DEBUG)
+		(setLevel INFO)
 
 main = withSocketsDo $ do
 #if !defined(mingw32_HOST_OS)