def get_runs(rev, benchmark=None): raw_runs = model.get_runs(rev, CONFIGURATION, benchmark) rtn = [] for r in raw_runs: save_dir = get_run_save_dir(r.id) if not os.path.exists(save_dir): model.delete_run(r.id) else: rtn.append(r) return rtn
def remove_run(run_id): print "Removing run", run_id model.delete_run(run_id) dir = get_run_save_dir(run_id) if os.path.exists(dir): shutil.rmtree(dir)
def remove_run(run_id): print "Removing run", run_id model.delete_run(run_id) shutil.rmtree(get_run_save_dir(run_id))