-
Notifications
You must be signed in to change notification settings - Fork 15
CLI make_local creates local data source even if the command fails #193
Comments
It is fully legal that the download of local data sources is being interrupted by means of
And it is crucial that the downloading can be continued later where all completely downloaded files are being preserved and incomplete ones are being deleted or overwritten. An incomplete local data source shall be indicated as such so that we can display this fact in the CLI and GUI. |
In addition to this, I'm seeing the following pattern: I include I'm not sure what would be the most elegant interface to solve this. |
perhaps we need some 'override' option |
Yeah, something like that. I thought of 'overwrite', but then, I wouldn't want to download the dataset again and again. Maybe 'update_local' could also do what 'make_local' does, if the dataset doesn't exist. I'm not really sure how to solve this best. |
If
If How about this ? For the GUI / CLI we may need the information that a dataset has only been downloaded partially. |
I full agree with @mzuehlke |
Cancellation works fine, but incomplete files remain. Cancelled data source should dissapear without a trace from the user's file system. Reopening because it is incomplete. |
@kbernat any news here? |
@forman I will review and complete fix yet today.. |
fixed in #375 |
CLI
make_local
creates a local data source even if the command is cancelled or otherwise fails, e.g. no internet connection, or no source files found. After this, it cannot be corrected.Reproduce:
cate ds make_local <id-1> <id-2> <time>
Workaround:
Delete concerned local data source manually.
Fix:
If make_local() fails, it should keep all "good" files, but remember that it is incomplete so we can update calling the command again with same data source ID.
The text was updated successfully, but these errors were encountered: