branchmap: use a different file name for filtered view of repo
authorPierre-Yves David <pierre-yves.david@ens-lyon.org>
Mon, 24 Dec 2012 03:06:03 +0100
changeset 18187 4df8716d32f1
parent 18186 d336f53cb2e3
child 18188 46ed5226503a
branchmap: use a different file name for filtered view of repo
mercurial/branchmap.py
--- a/mercurial/branchmap.py	Mon Dec 24 03:05:02 2012 +0100
+++ b/mercurial/branchmap.py	Mon Dec 24 03:06:03 2012 +0100
@@ -10,8 +10,11 @@
 import util
 
 def _filename(repo):
-    """name of a branchcache file for a given repo"""
-    return "cache/branchheads"
+    """name of a branchcache file for a given repo or repoview"""
+    filename = "cache/branchheads"
+    if repo.filtername:
+        filename = '%s-%s' % (filename, repo.filtername)
+    return filename
 
 def read(repo):
     try: