void finish_fraction_db() { tpie_delete(fdb); fdb=NULL; }
void finish_job() { the_job_manager->shutdown_pool(); tpie_delete(the_job_manager); the_job_manager = 0; }