Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
2 changed files
with
8 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1c2250e
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@forki i'm a little confused by your recent commits. 65e554e broke github downloads. After that there seems to be some commits fixing the issue for specific cases (including this one).
So the question is: should ClearDir recreate the directory or not. If the current implementation is specification we need to change the comment (at least it confused me when tracking down broken github download)
1c2250e
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I thought it's not needed to create the dir if it already exists. What did I broke in CleanDir!?
1c2250e
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
i think RemoteDownload.fs 162-164 cleans the directory and immediately afterwards downloads a zip file into the cleaned dir. in that case downloadFromUrl fails with error message:
Message: One or more errors occurred.
Details: An exception occurred during a WebClient request.
The inner.inner exception unveils directorynotfound exn.
1c2250e
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ah I found the issue. thanks
1c2250e
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
How about 3089df6?
1c2250e
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
works.