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

use zip for image download as default #177

Merged
merged 6 commits into from
Jan 1, 2021
Merged

Conversation

johagge
Copy link
Contributor

@johagge johagge commented Dec 12, 2020

Currently the images are downloaded individually by default. This is slow.
This pull request replaces this behavior by downloading the zip file for the imageset instead. This works significantly faster (in my experiments).

Currently the other method for downloading is still included in the download script, in case the zip download does not work. This way it is just a single line to replace to go back to the previous behavior.

Closes #159

@johagge johagge self-assigned this Dec 17, 2020
@johagge
Copy link
Contributor Author

johagge commented Dec 17, 2020

The script currently does not check if an imageset has a zip already. There should be some error handling for that case, e.g. a warning that either the imageset or zip does not exist.

Additionally it should be possible to use the old method by using a command line argument.

@johagge
Copy link
Contributor Author

johagge commented Dec 24, 2020

I added error handling, but was not able to test it for a non existing zip file, because I currently do not have an development environment of the ImageTagger.
I also made it possible to use the old version of separately downloading each image.

@timonegk
Copy link
Member

timonegk commented Jan 1, 2021

I tested the script for non-existing zip files and fixed a few minor things. Looks good now.

@timonegk timonegk dismissed NFiedler’s stale review January 1, 2021 14:58

Review was addressed

@timonegk timonegk merged commit 7631bc9 into master Jan 1, 2021
@timonegk timonegk deleted the feature/downloadsAsZip branch January 1, 2021 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Download Script: Use ZIP
3 participants