options.max_std_dev_pixel_error = 5;
options.max_audio_sample_error = 255;
options.cpl_annotation_texts_can_differ = true;
- options.mxf_filenames_can_differ = true;
options.reel_annotation_texts_can_differ = true;
options.reel_hashes_can_differ = true;
while (jm->work_to_do ()) {
signal_manager->ui_idle ();
}
+
+ cout << "Waiting for jobs: all finished; errors=" << jm->errors() << ".\n";
+
if (jm->errors ()) {
int N = 0;
for (list<shared_ptr<Job> >::iterator i = jm->_jobs.begin(); i != jm->_jobs.end(); ++i) {
signal_manager->ui_idle ();
- /* Discard all jobs so we lose any we just reported an error in */
- JobManager::drop ();
+ if (jm->errors ()) {
+ cout << "Dropping JobManager\n";
+ JobManager::drop ();
+ } else {
+ cout << "Not dropping JobManager\n";
+ }
}
void