36 PathInfo pi( file_r );
39 WAR <<
"Can't read " << pi << endl;
42 std::ifstream infile( file_r.c_str() );
46 if ( ! l.empty() && l[0] !=
'#' )
51 MIL <<
"Read " << pi << endl;
60 outs <<
"# " << file_r.basename() <<
" generated " <<
Date::now() << endl;
63 std::set<IdString> sorted( data_r.begin(), data_r.end() );
64 dumpRange( outs, sorted.begin(), sorted.end(),
"#",
"\n",
"\n",
"\n",
"#\n" );
68 dumpRange( outs, data_r.begin(), data_r.end(),
"#",
"\n",
"\n",
"\n",
"#\n" );
75 MIL <<
"Wrote " << PathInfo(file_r) << endl;
79 ERR <<
"Can't write " << PathInfo(tmp.
path()) << endl;
90 str << obj.
file() <<
' ';