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