# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1273259231 25200
# Node ID 24782e4c70cad32db4ea843dda498cfdd2135f49
# Parent  496ff7dc26ee90f4b81d77f765e84f0afe0c76a4
now that we are case sensitive, correct case for getting options

diff -r 496ff7dc26ee -r 24782e4c70ca profilemanager/manager.py
--- a/profilemanager/manager.py	Fri May 07 12:03:31 2010 -0700
+++ b/profilemanager/manager.py	Fri May 07 12:07:11 2010 -0700
@@ -289,9 +289,9 @@
         if parser is None:
             parser = self.parser()
         for section in parser.sections():
-            if not parser.has_option(section, 'name'):
+            if not parser.has_option(section, 'Name'):
                 continue # not a profile
-            if parser.get(section, 'name') == profile:
+            if parser.get(section, 'Name') == profile:
                 return section
 
     def profile_dict(self, profile):
@@ -316,7 +316,7 @@
                 continue
             if not parser.has_option(section, 'Name'):
                 continue
-            name = parser.get_option(section, 'Name')
+            name = parser.get(section, 'Name')
             retval[name] = self.profile_dict(name)
         return retval