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

fix infinite loop

Browse source 
Local repos with the same path are not different. :)
This commit is contained in:
Joey Hess 2011-02-03 23:23:36 -04:00
parent dff47d51e6
commit 67c1facad1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Command/Map.hs
View file

@ -144,6 +144,7 @@ same :: Git.Repo -> Git.Repo -> Bool
same a b same a b
| both Git.repoIsSsh = matching Git.urlHostFull && matching Git.workTree | both Git.repoIsSsh = matching Git.urlHostFull && matching Git.workTree
| both Git.repoIsUrl && neither Git.repoIsSsh = matching show | both Git.repoIsUrl && neither Git.repoIsSsh = matching show
| neither Git.repoIsSsh = matching Git.workTree
| otherwise = False | otherwise = False
where where