From c056b953033c20f6816cea832215ee1c51a34744 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 2 Dec 2013 16:01:20 -0400 Subject: Deal with box.com changing the url of their webdav endpoint. Use new url when making new remotes. Transparently rewrite old url to new for existing remotes. --- Remote/WebDAV.hs | 5 ++++- debian/changelog | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index 738dbde3f..acee624ae 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -220,7 +220,10 @@ davAction r unconfigured action = do _ -> return unconfigured configUrl :: Remote -> Maybe DavUrl -configUrl r = M.lookup "url" $ config r +configUrl r = fixup <$> M.lookup "url" (config r) + where + -- box.com DAV url changed + fixup = replace "https://www.box.com/dav/" "https://dav.box.com/dav/" toDavUser :: String -> DavUser toDavUser = B8.fromString diff --git a/debian/changelog b/debian/changelog index 19e4cd9ed..4e864d244 100644 --- a/debian/changelog +++ b/debian/changelog @@ -11,6 +11,7 @@ git-annex (5.20131131) UNRELEASED; urgency=low use hashDirMixed. Closes: #731142 * copy --from, get --from: When --force is used, ignore the location log and always try to get the file from the remote. + * Deal with box.com changing the url of their webdav endpoint. -- Joey Hess Sun, 01 Dec 2013 13:57:58 -0400 -- cgit v1.2.3