# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1335680310 25200
# Node ID 1e06fd17b8ad62a6d8e0673ed282256967e5a3b1
# Parent  6bf4a58b0988512c226ed09d7761cb1d70b1e68c
make dump method configurable

diff -r 6bf4a58b0988 -r 1e06fd17b8ad configuration/configuration.py
--- a/configuration/configuration.py	Sat Apr 28 22:55:39 2012 -0700
+++ b/configuration/configuration.py	Sat Apr 28 23:18:30 2012 -0700
@@ -421,6 +421,7 @@
 
     def dump(self, options):
         """dump configuration, if specified"""
+
         dump = getattr(options, 'dump')
         if dump:
             # TODO: have a way of specifying format other than filename