changeset 61:24782e4c70ca

now that we are case sensitive, correct case for getting options
author Jeff Hammel <jhammel@mozilla.com>
date Fri, 07 May 2010 12:07:11 -0700
parents 496ff7dc26ee
children e29fed5097c3
files profilemanager/manager.py
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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