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.

Assistant/WebApp/Configurators/WebDAV.hs

@@ -73,7 +73,7 @@ postAddBoxComR = boxConfigurator $ do
 				[ configureEncryption $ enableEncryption input
 				, ("embedcreds", if embedCreds input then "yes" else "no")
 				, ("type", "webdav")
-				, ("url", "https://www.box.com/dav/" ++ T.unpack (directory input))
+				, ("url", "https://dav.box.com/dav/" ++ T.unpack (directory input))
 				-- Box.com has a max file size of 100 mb, but
 				-- using smaller chunks has better memory
 				-- performance.

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

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 <joeyh@debian.org>  Sun, 01 Dec 2013 13:57:58 -0400