a few last changes post xmpp removal
This commit is contained in:
parent
b21ffe62f5
commit
cf6545198b
2 changed files with 3 additions and 1 deletions
|
@ -353,7 +353,7 @@ checkAvailable :: Bool -> Remote -> IO Bool
|
|||
checkAvailable assumenetworkavailable =
|
||||
maybe (return assumenetworkavailable) doesDirectoryExist . localpath
|
||||
|
||||
{- Remotes using the XMPP transport have urls like xmpp::user@host -}
|
||||
{- Old remotes using the XMPP transport have urls like xmpp::user@host -}
|
||||
isXMPPRemote :: Remote -> Bool
|
||||
isXMPPRemote remote = Git.repoIsUrl r && "xmpp::" `isPrefixOf` Git.repoLocation r
|
||||
where
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue