mercurial/profiling.py
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)