|
@@ -202,14 +202,14 @@ int main( int argc, char **argv )
|
|
|
|
|
|
if ( write_results )
|
|
|
{
|
|
|
- char filename[1024];
|
|
|
- char *format = ( char * )"ppm";
|
|
|
- sprintf( filename, "%06d.%s", fileno, format );
|
|
|
- std::string origfilename = resultdir + "/orig_" + string( filename );
|
|
|
+ //char filename[1024];
|
|
|
+ //char *format = ( char * )"ppm";
|
|
|
+ //sprintf( filename, "%06d.%s", fileno, format );
|
|
|
+ std::string origfilename = resultdir + "/"+fname+".jpg";
|
|
|
cerr << "Writing to file " << origfilename << endl;
|
|
|
orig.write( origfilename );
|
|
|
- rgb.write( resultdir + "/result_" + string( filename ) );
|
|
|
- rgb_gt.write( resultdir + "/groundtruth_" + string( filename ) );
|
|
|
+ rgb.write( resultdir + "/"+fname+"_result.png" );
|
|
|
+ rgb_gt.write( resultdir + "/"+fname+"_gt.png" );
|
|
|
}
|
|
|
|
|
|
if ( show_result )
|