diff -r fa8324ed4702 -r 90fe753b3654 gameServer/OfficialServer/checker.hs --- a/gameServer/OfficialServer/checker.hs Sat Aug 24 13:33:34 2013 +0200 +++ b/gameServer/OfficialServer/checker.hs Sat Aug 24 10:07:34 2013 +0400 @@ -73,6 +73,7 @@ , "--prefix", "/usr/home/unC0Rr/Sources/Hedgewars/Releases/0.9.19/share/hedgewars/Data" , "--nomusic" , "--nosound" + , "--stats-only" ]) {std_err = CreatePipe} hSetBuffering hOut LineBuffering