# HG changeset patch # User Boris Feld # Date 1519211596 -3600 # Node ID df3f7f00a3fcc974c51380916d86b6a58d7cbff6 # Parent 075ef2d2e38ddbd77691576f1af0bccac7dd71c9 perfbranchmap: display 'unfiltered' for unfiltered performance This is slightly clearer than "None" and will help with coming changes to select the filter level we want timing for. diff -r 075ef2d2e38d -r df3f7f00a3fc contrib/perf.py --- a/contrib/perf.py Thu Feb 22 01:00:57 2018 -0500 +++ b/contrib/perf.py Wed Feb 21 12:13:16 2018 +0100 @@ -1616,7 +1616,10 @@ branchcachewrite.set(lambda bc, repo: None) try: for name in allfilters: - timer(getbranchmap(name), title=str(name)) + printname = name + if name is None: + printname = 'unfiltered' + timer(getbranchmap(name), title=str(printname)) finally: branchcacheread.restore() branchcachewrite.restore()