Server: Read AutoRestartInterval from ServerConfig.txt