##// END OF EJS Templates
branchmap: use a different file name for filtered view of repo
Pierre-Yves David -
r18187:4df8716d default
parent child Browse files
Show More
@@ -10,8 +10,11 b' import encoding'
10 10 import util
11 11
12 12 def _filename(repo):
13 """name of a branchcache file for a given repo"""
14 return "cache/branchheads"
13 """name of a branchcache file for a given repo or repoview"""
14 filename = "cache/branchheads"
15 if repo.filtername:
16 filename = '%s-%s' % (filename, repo.filtername)
17 return filename
15 18
16 19 def read(repo):
17 20 try:
General Comments 0
You need to be logged in to leave comments. Login now