Windows webdav: Fix DOS path separator bug.

Use posix </> etc for urls.

Remote/WebDAV.hs

@@ -24,8 +24,9 @@ import Network.HTTP.Conduit (HttpException(..))
 #endif
 import Network.HTTP.Types
 import System.IO.Error
+import System.FilePath.Posix ((</>), addTrailingPathSeparator)
 
-import Common.Annex
+import Common.Annex hiding ((</>), addTrailingPathSeparator)
 import Types.Remote
 import qualified Git
 import Config

debian/changelog

@@ -23,6 +23,7 @@ git-annex (5.20140222) UNRELEASED; urgency=medium
   * repair: Optimise unpacking of pack files, and avoid repeated error
     messages about corrupt pack files.
   * Make annex.web-options be used in several places that call curl.
+  * Windows webdav: Fix DOS path separator bug.
 
  -- Joey Hess <joeyh@debian.org>  Fri, 21 Feb 2014 13:03:04 -0400
 

doc/todo/windows_support.mdwn

@@ -30,6 +30,8 @@ now! --[[Joey]]
   (and possibly gpg) are not prompted there anymore.
 
 * Local pairing seems to fail, after acking on Linux box, it stalls.
+  (Also, of course, the Windows box is unlikely to have a ssh server,
+  so only pairing with a !Windows box will work.)
 
 * gcrypt is not ported to windows (and as a shell script, may need
   to be rewritten)