# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1273193526 25200
# Node ID 76fc1a23182c888fce1f62688cbbd11aec6a7ff0
# Parent  a6222b71aab62cbe71659abab6c9b16e00ad6484
instantiate a parser

diff -r a6222b71aab6 -r 76fc1a23182c profilemanager/manager.py
--- a/profilemanager/manager.py	Thu May 06 17:49:28 2010 -0700
+++ b/profilemanager/manager.py	Thu May 06 17:52:06 2010 -0700
@@ -76,7 +76,8 @@
         remove a profile from profiles.ini
         - delete: delete the profile directory as well
         """
-        section = self.section(name)
+        parser = self.parser()
+        section = self.section(name, parser)
         if section is None:
             raise ProfileNotFound('Profile %s not found in %s' % (profile, self.profiles))
         if delete: # remove the profile from disk