gameServer/OfficialServer/checker.hs
changeset 9421 90fe753b3654
parent 9403 9f6ca48d8e9c
child 9423 43798a77f1d1
--- 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