fix build w/o DAV
This commit is contained in:
parent
5e0f1aea4a
commit
d63a0a77f2
1 changed files with 1 additions and 1 deletions
|
@ -135,7 +135,6 @@ makeWebDavRemote name creds setup config = do
|
||||||
setup r
|
setup r
|
||||||
liftAssistant $ syncRemote r
|
liftAssistant $ syncRemote r
|
||||||
redirect $ EditNewCloudRepositoryR $ Remote.uuid r
|
redirect $ EditNewCloudRepositoryR $ Remote.uuid r
|
||||||
#endif
|
|
||||||
|
|
||||||
{- Only returns creds previously used for the same hostname. -}
|
{- Only returns creds previously used for the same hostname. -}
|
||||||
previouslyUsedWebDAVCreds :: String -> Annex (Maybe CredPair)
|
previouslyUsedWebDAVCreds :: String -> Annex (Maybe CredPair)
|
||||||
|
@ -145,6 +144,7 @@ previouslyUsedWebDAVCreds hostname =
|
||||||
samehost url = case urlHost =<< WebDAV.configUrl url of
|
samehost url = case urlHost =<< WebDAV.configUrl url of
|
||||||
Nothing -> False
|
Nothing -> False
|
||||||
Just h -> h == hostname
|
Just h -> h == hostname
|
||||||
|
#endif
|
||||||
|
|
||||||
urlHost :: String -> Maybe String
|
urlHost :: String -> Maybe String
|
||||||
urlHost url = uriRegName <$> (uriAuthority =<< parseURI url)
|
urlHost url = uriRegName <$> (uriAuthority =<< parseURI url)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue