changeset 18187:4df8716d32f1

branchmap: use a different file name for filtered view of repo
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 24 Dec 2012 03:06:03 +0100
parents d336f53cb2e3
children 46ed5226503a
files mercurial/branchmap.py
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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: