# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@ens-lyon.org>
# Date 1356314763 -3600
# Node ID 4df8716d32f188caae4da08790afaedb2b383dfc
# Parent  d336f53cb2e315fd7928dc610a06e9e208609222
branchmap: use a different file name for filtered view of repo

diff -r d336f53cb2e3 -r 4df8716d32f1 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: