changeset 8023 | fd9debb3ea1b |
parent 8022 | 4f3fdfaa3874 |
child 8024 | 9a1b86cfd29e |
--- a/mercurial/dispatch.py Wed Apr 08 14:19:41 2009 +0200 +++ b/mercurial/dispatch.py Thu Apr 02 16:01:30 2009 +0900 @@ -379,6 +379,13 @@ raise error.ParseError(cmd, _("invalid arguments")) if options['profile']: + format = ui.config('profiling', 'format', default='text') + + if not format in ['text']: + ui.warn(_("unrecognized profiling format '%s'" + " - Ignored\n") % format) + format = 'text' + output = ui.config('profiling', 'output') if output: