# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1273258515 25200
# Node ID ce6a101fb2390433a9d7ec3273e85eb33b224059
# Parent  3b4b87faa2a8323a2e7b2d56bd7653988ab4773b
check for section; of course profile will not be none

diff -r 3b4b87faa2a8 -r ce6a101fb239 profilemanager/manager.py
--- a/profilemanager/manager.py	Fri May 07 11:52:06 2010 -0700
+++ b/profilemanager/manager.py	Fri May 07 11:55:15 2010 -0700
@@ -133,7 +133,7 @@
         # get the profile section
         parser = self.parser()
         section = self.section(profile)
-        if profile is None:
+        if section is None:
             raise ProfileNotFound(profile, self.profiles)
 
         # determine destination directory