# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1354667131 28800
# Node ID 1e90d869f7872fb75c1a541cf7764e56adceda95
# Parent  c0e50e0402759569d93582ac805324b4b0d42420
only use the configuration values we need

diff -r c0e50e040275 -r 1e90d869f787 mozillatry.py
--- a/mozillatry.py	Tue Dec 04 15:43:58 2012 -0800
+++ b/mozillatry.py	Tue Dec 04 16:25:31 2012 -0800
@@ -112,6 +112,14 @@
                 configuration_files = [default_config]
         return configuration_files
 
+    def load_configuration_file(self, filename):
+        config = configuration.Configuration.load_configuration_file(self, filename)
+
+        # ignore options that we don't care about
+        config = dict([(key, value) for key, value in config.items()
+                       if key in self.option_dict])
+        return config
+
 def main(args=sys.argv[1:]):
 
     # parse command line arguments