mercurial/dispatch.py
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: