// Defaults in server_default.cfg