RawFilePath conversion
Sponsored-by: Dartmouth College's DANDI project
This commit is contained in:
parent
703a70cafa
commit
8da85fd3a3
4 changed files with 5 additions and 6 deletions
|
@ -751,7 +751,7 @@ downloadUrl :: Bool -> Key -> MeterUpdate -> Maybe IncrementalVerifier -> [Url.U
|
|||
downloadUrl listfailedurls k p iv urls file uo =
|
||||
-- Poll the file to handle configurations where an external
|
||||
-- download command is used.
|
||||
meteredFile file (Just p) k (go urls [])
|
||||
meteredFile (toRawFilePath file) (Just p) k (go urls [])
|
||||
where
|
||||
go (u:us) errs p' = Url.download' p' iv u file uo >>= \case
|
||||
Right () -> return True
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue