mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tweak

Browse source
This commit is contained in:
Joey Hess 2011-10-15 01:37:55 -04:00
parent ae2b1308a6
commit 872057303e
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Git.hs
View file

@ -338,8 +338,9 @@ urlHostUser r = urlAuthPart uriUserInfo r ++ urlAuthPart uriRegName' r
{- The full authority portion an URL repo. (ie, "user@host:port") -} {- The full authority portion an URL repo. (ie, "user@host:port") -}
urlAuthority :: Repo -> String urlAuthority :: Repo -> String
urlAuthority r = flip urlAuthPart r $ \a -> urlAuthority = urlAuthPart combine
uriUserInfo a ++ uriRegName' a ++ uriPort a where
combine a = uriUserInfo a ++ uriRegName' a ++ uriPort a
{- Applies a function to extract part of the uriAuthority of an URL repo. -} {- Applies a function to extract part of the uriAuthority of an URL repo. -}
urlAuthPart :: (URIAuth -> a) -> Repo -> a urlAuthPart :: (URIAuth -> a) -> Repo -> a