summaryrefslogtreecommitdiff
path: root/Remote
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2014-02-25 15:13:27 -0400
committerGravatar Joey Hess <joey@kitenet.net>2014-02-25 15:26:33 -0400
commit156703043d825c4da5f0080106f130d214fc1d46 (patch)
tree9b768021bdd58c9f1d734e4be6b6fb1d2c953000 /Remote
parentb36d8f7d5658be508613f8cb8cf3f22bb460736d (diff)
Windows webdav: Fix DOS path separator bug.
Use posix </> etc for urls.
Diffstat (limited to 'Remote')
-rw-r--r--Remote/WebDAV.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs
index 8ac9c2c79..301ec537c 100644
--- a/Remote/WebDAV.hs
+++ b/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