# HG changeset patch
# User Benoit Boissinot <benoit.boissinot@ens-lyon.org>
# Date 1154021161 -7200
# Node ID 4af4e1870fa05ef3a4e1a63a76fc447a0920c044
# Parent  accadcb4e4b5615862d9bd6a52f04725b98b03d2
reupdate the options after loading the repo

local .hgrc could possibly override them, command line take priority

diff -r accadcb4e4b5 -r 4af4e1870fa0 mercurial/commands.py
--- a/mercurial/commands.py	Thu Jul 27 13:18:21 2006 +0200
+++ b/mercurial/commands.py	Thu Jul 27 19:26:01 2006 +0200
@@ -3435,6 +3435,11 @@
             else:
                 d = lambda: func(u, *args, **cmdoptions)
 
+            # reupdate the options, repo/.hg/hgrc may have changed them
+            u.updateopts(options["verbose"], options["debug"], options["quiet"],
+                         not options["noninteractive"], options["traceback"],
+                         options["config"])
+
             try:
                 if options['profile']:
                     import hotshot, hotshot.stats