An update has been released to the dedicated server. This fixes a bug in the Linux dedicated server which was causing the log file to grow by many megabytes per hour. Please update your servers with the new version to fix this bug, but try to choose a time when there aren’t games being playing on your server so you don’t stop people’s games.
There is also a new feature in the server: changes to the configuration file (.ini) are loaded while the server is running, so you can change the name, welcome message, etc. without needing to restart the server and kick everyone off 🙂
You can get this server fix (r2443) from the downloads page.
