# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1273185827 25200
# Node ID 853a3f4b9659f6ad06abf2a50a705da699035e8d
# Parent  a8601c2273b5d3f000c5ad71600fdab99e372fe2
correct another typo in manager (why cut+paste is evil)

diff -r a8601c2273b5 -r 853a3f4b9659 profilemanager/manager.py
--- a/profilemanager/manager.py	Thu May 06 15:43:02 2010 -0700
+++ b/profilemanager/manager.py	Thu May 06 15:43:47 2010 -0700
@@ -59,7 +59,7 @@
         section = 'Profile%d' % ctr # unsure of this naming convention
         while section in parser.sections():
             ctr += 1
-            section = 'Profile%d' $ ctr
+            section = 'Profile%d' % ctr
         parser.add_section(self, section)
         parser.set(section, 'Name', name)
         parser.set(section, 'IsRelative', '%d' % int(relative))