diff options
author | Joey Hess <joey@kitenet.net> | 2014-07-26 20:21:10 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-07-26 20:21:10 -0400 |
commit | bc642a6ee0d02cbce2b5ee240d7b08b21175ec2a (patch) | |
tree | 6880174260a61708d38c1a3b08ef9fb7e77e90b0 | |
parent | 78b7968ba0334164d063b7b49a65385dfaf3aa82 (diff) |
fix build
-rw-r--r-- | Remote/WebDAV.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index 4be7e4701..36df60945 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -140,7 +140,7 @@ retrieve :: Remote -> Key -> AssociatedFile -> FilePath -> MeterUpdate -> Annex retrieve r k _f d p = metered (Just p) k $ \meterupdate -> davAction r False $ \(baseurl, user, pass) -> liftIO $ catchBoolIO $ withStoredFiles r k baseurl user pass onerr $ \urls -> do - meteredWriteFileChunks meterupdate d urls $ \url -> do + Legacy.meteredWriteFileChunks meterupdate d urls $ \url -> do mb <- getDAV url user pass case mb of Nothing -> throwIO "download failed" |