Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make downloading more robust #22

Merged
merged 2 commits into from Sep 20, 2016
Merged

Make downloading more robust #22

merged 2 commits into from Sep 20, 2016

Commits on Sep 19, 2016

  1. Retry on all curl errors, not just timeouts 

    Otherwise random things cause downloading to fail when it might work on
a retry.
    Iain Lane committed Sep 19, 2016
    2958838

Commits on Sep 20, 2016

  1. Synchronise downloading of files 

    If multiple threads try to download the same file, then one of them will
get an incomplete file since `downloadFile` will return early if the
dest exists, which is does while the download is in progress.
    Iain Lane committed Sep 20, 2016
    469182f