changeset 42439 | 0ae593e791fb |
parent 40409 | 89703e6151e7 |
child 43076 | 2372284d9457 |
--- a/mercurial/profiling.py Wed Jun 05 14:29:44 2019 -0700 +++ b/mercurial/profiling.py Wed Jun 05 12:51:21 2019 -0400 @@ -147,6 +147,8 @@ # inconsistent config: profiling.showmin limit = ui.configwith(fraction, 'profiling', 'showmin', 0.05) kwargs[r'limit'] = limit + showtime = ui.configbool('profiling', 'showtime') + kwargs[r'showtime'] = showtime statprof.display(fp, data=data, format=displayformat, **kwargs)