diff options
-rw-r--r-- | params.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ const char *const gamelogdir = "comp_gamelogs"; const int num_threads = 2; const int num_matches = 5; -const int timeout_msec = 60000; +const int timeout_msec = 5000; const bool multilog_fancy = true; const bool referee_verbose = false; |