config

   1 # This config file is read once at the start
   2 # Server has to be restarted for the changes to take effect
   3
   4 port: 3456
   5
   6 # set user/group
   7 #user: games
   8 #group: games
   9
  10 # command for external editor
  11 editor: easyedit-1.4.6/ee
  12
  13 # grace time in seconds before sending SIGTERM to game whose player disonnected
  14 kill_delay: 5
  15
  16 # if these are not defined, stats and logs will not be written
  17 stats: stats/$GAME$.stat
  18 log: stats/$GAME$.log
  19