modify server_config.properties