summaryrefslogtreecommitdiff
path: root/Command
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-02-03 23:23:36 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-02-03 23:23:36 -0400
commit67c1facad150cfbc706721cbd9b482be22a31f4c (patch)
tree327a37579ea981ed1206eca7c8a2d0d53342081d /Command
parentdff47d51e65fcf14566a06ebaae112c859d1824c (diff)
fix infinite loop
Local repos with the same path are not different. :)
Diffstat (limited to 'Command')
-rw-r--r--Command/Map.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Command/Map.hs b/Command/Map.hs
index 1d38bc42f..fa2a41253 100644
--- a/Command/Map.hs
+++ b/Command/Map.hs
@@ -144,6 +144,7 @@ same :: Git.Repo -> Git.Repo -> Bool
same a b
| both Git.repoIsSsh = matching Git.urlHostFull && matching Git.workTree
| both Git.repoIsUrl && neither Git.repoIsSsh = matching show
+ | neither Git.repoIsSsh = matching Git.workTree
| otherwise = False
where