##// 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 for ui_ in uis:
819 for ui_ in uis:
820 ui_.setconfig('ui', opt, val, '--' + opt)
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 if options['traceback']:
826 if options['traceback']:
823 for ui_ in uis:
827 for ui_ in uis:
824 ui_.setconfig('ui', 'traceback', 'on', '--traceback')
828 ui_.setconfig('ui', 'traceback', 'on', '--traceback')
@@ -904,7 +908,7 b' def _runcommand(ui, options, cmd, cmdfun'
904 except error.SignatureError:
908 except error.SignatureError:
905 raise error.CommandError(cmd, _("invalid arguments"))
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 return profiling.profile(ui, checkargs)
912 return profiling.profile(ui, checkargs)
909 else:
913 else:
910 return checkargs()
914 return checkargs()
General Comments 0
You need to be logged in to leave comments. Login now