# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1336086018 25200
# Node ID 09642528be02679175826756f9ed194911f1b46b
# Parent  a2184db43fe2273a9e8539626d5851808c593970
keep track of parsed values as well as individual instances

diff -r a2184db43fe2 -r 09642528be02 configuration/configuration.py
--- a/configuration/configuration.py	Thu May 03 15:46:13 2012 -0700
+++ b/configuration/configuration.py	Thu May 03 16:00:18 2012 -0700
@@ -124,8 +124,8 @@
 
         # add the parsed option to the set of things parsed
         if not hasattr(parser, 'parsed'):
-            parser.parsed = set()
-        parser.parsed.add(dest)
+            parser.parsed = dict()
+        parser.parsed[dest] = value
 
 ### plugins for option types
 
@@ -268,7 +268,7 @@
                 parser_args['formatter'] = PlainDescriptionFormatter()
         parser_args.setdefault('option_class', ConfigurationOption)
         optparse.OptionParser.__init__(self, **parser_args)
-        self.parsed = set()
+        self.parsed = dict()
         self.optparse_options(self)
         # add option(s) for configuration_providers
         if load:
@@ -421,7 +421,7 @@
 
     def parse_args(self, *args, **kw):
 
-        self.parsed = set()
+        self.parsed = dict()
         options, args = optparse.OptionParser.parse_args(self, *args, **kw)
 
         # get CLI configuration options