--- src/spawning/spawning_controller.py	2010-05-01 16:49:23.000000000 -0400
+++ src/spawning/spawning_controller.py	2010-07-13 13:09:05.000000000 -0400
@@ -184,8 +184,10 @@ 
                 time.asctime()))
 
         if self.config.get('pidfile'):
-            with open(self.config.get('pidfile'), 'w') as fd:
-                fd.write('%s\n' % self.controller_pid)
+            fd = open(self.config.get('pidfile'), 'w')
+            #with open(self.config.get('pidfile'), 'w') as fd:
+            fd.write('%s\n' % self.controller_pid)
+            fd.close()
 
         spawning.setproctitle("spawn: controller " + self.args.get('argv_str', ''))