Example #1
0
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
Example #2
0
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
Example #3
0
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)
Example #4
0
def remove_run(run_id):
    print "Removing run", run_id
    model.delete_run(run_id)
    shutil.rmtree(get_run_save_dir(run_id))
Example #5
0
def remove_run(run_id):
    print "Removing run", run_id
    model.delete_run(run_id)
    shutil.rmtree(get_run_save_dir(run_id))
Example #6
0
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)