Check if a proper `$server` with `$server_config_file_name` parameter is given. refs #11