##// END OF EJS Templates
dispatch: set profiling.enabled when profiling is enabled...
Gregory Szorc -
r29782:97bfc2e5 default
parent child Browse files
Show More
@@ -819,6 +819,10 b' def _dispatch(req):'
819 819 for ui_ in uis:
820 820 ui_.setconfig('ui', opt, val, '--' + opt)
821 821
822 if options['profile']:
823 for ui_ in uis:
824 ui_.setconfig('profiling', 'enabled', 'true', '--profile')
825
822 826 if options['traceback']:
823 827 for ui_ in uis:
824 828 ui_.setconfig('ui', 'traceback', 'on', '--traceback')
@@ -904,7 +908,7 b' def _runcommand(ui, options, cmd, cmdfun'
904 908 except error.SignatureError:
905 909 raise error.CommandError(cmd, _("invalid arguments"))
906 910
907 if options['profile'] or ui.configbool('profiling', 'enabled'):
911 if ui.configbool('profiling', 'enabled'):
908 912 return profiling.profile(ui, checkargs)
909 913 else:
910 914 return checkargs()
General Comments 0
You need to be logged in to leave comments. Login now