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 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'Remote') 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 -- cgit v1.2.3