get_training_data.py 文件源码

def download(files, delay=0, prefix=file_prefix, convert=False):
    # Given a list of files, downloads each, optionally also converts to csv
    total = len(files)
    i = 1
    for file in files:
        filename = prefix+file
        wget.download(filename)
        print("Downloaded", i, "files out of", total)
        i += 1
        # In case the webpage doesn't like many rapid downloads
        time.sleep(delay)