Server: Change read_config_file() parameter order (stylistic reasons).