string const & c, string const & l)
: from(f), to(t), command(c), flags(l),
From(0), To(0), latex(false), xml(false),
- need_aux(false)
+ need_aux(false), nice(false)
{}
result_file = flag_value;
else if (flag_name == "parselog")
parselog = flag_value;
+ else if (flag_name == "nice")
+ nice = true;
}
if (!result_dir.empty() && result_file.empty())
result_file = "index." + formats.extension(to);