##// 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 import util
10 import util
11
11
12 def _filename(repo):
12 def _filename(repo):
13 """name of a branchcache file for a given repo"""
13 """name of a branchcache file for a given repo or repoview"""
14 return "cache/branchheads"
14 filename = "cache/branchheads"
15 if repo.filtername:
16 filename = '%s-%s' % (filename, repo.filtername)
17 return filename
15
18
16 def read(repo):
19 def read(repo):
17 try:
20 try:
General Comments 0
You need to be logged in to leave comments. Login now