add ai server local dist conf

2012-08-04 20:28:43 +02:00 · 2012-08-04 20:28:43 +02:00 · 5fc6a30595
parent 81897c1b36
commit 5fc6a30595
1 changed files with 5 additions and 1 deletions
--- a/conf/local.conf.ai_dist
+++ b/conf/local.conf.ai_dist
@ -1,6 +1,7 @@
-include "application"
+include "base"

 config_name = "production AI server"
+
 ai {
  server = true
  client = false
@ -9,5 +10,8 @@ ai {
    analyse {
      movetime = 500
    }
+    play {
+      movetime = 400
+    }
  }
 }