diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-25 15:13:27 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-25 15:26:33 -0400 |
| commit | 156703043d825c4da5f0080106f130d214fc1d46 (patch) | |
| tree | 9b768021bdd58c9f1d734e4be6b6fb1d2c953000 /Remote | |
| parent | b36d8f7d5658be508613f8cb8cf3f22bb460736d (diff) | |
Windows webdav: Fix DOS path separator bug.
Use posix </> etc for urls.
Diffstat (limited to 'Remote')
| -rw-r--r-- | Remote/WebDAV.hs | 3 |
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 |