Mercurial > hg
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: