# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1273258326 25200
# Node ID 3b4b87faa2a8323a2e7b2d56bd7653988ab4773b
# Parent  2dde7dcc899e82dd2a0748d16a459783181b40ef
* make options case-sensitive
* pass the child as an instance to the parent ctor for ProfileNotFound

diff -r 2dde7dcc899e -r 3b4b87faa2a8 profilemanager/manager.py
--- a/profilemanager/manager.py	Fri May 07 11:37:41 2010 -0700
+++ b/profilemanager/manager.py	Fri May 07 11:52:06 2010 -0700
@@ -23,7 +23,8 @@
     def __init__(self, profile, config):
         self.profile = profile
         self.config = config
-        Exception.__init__('Profile %s not found in %s' % (profile, config))
+        Exception.__init__(self,
+                           'Profile %s not found in %s' % (profile, config))
 
 class ProfileManager(object):
 
@@ -150,7 +151,6 @@
 
         # copy the files
         self.clone(profile, dest, add=False)
-
         
         # add backup entry to profiles.ini (colon separated):
         # `Backup=$(profile)s.$(datestamp)s.bak`
@@ -271,6 +271,7 @@
         return a ConfigParser instance appropriate to profiles.ini
         """
         parser = ConfigParser()
+        parser.optionxform = str
         parser.read(self.profiles)
         return parser
 
@@ -319,7 +320,6 @@
             retval[name] = self.profile_dict(name)
         return retval
 
-
     def hash(self):
         """
         generate a random hash for a new profile
diff -r 2dde7dcc899e -r 3b4b87faa2a8 profilemanager/tests/profiles/profiles.ini
--- a/profilemanager/tests/profiles/profiles.ini	Fri May 07 11:37:41 2010 -0700
+++ b/profilemanager/tests/profiles/profiles.ini	Fri May 07 11:52:06 2010 -0700
@@ -1,1 +1,8 @@
+[Profile0]
+Default = 1
+Path = 2k58wvyt.foo
+IsRelative = 1
+Name = foo
+
 [General]
+