server/serverconfig.py
changeset 7896 4c954e1e73ef
parent 7398 26695dd703d8
child 8182 d062d3b7da6c
child 8211 543e1579ba0d
--- a/server/serverconfig.py	Thu Sep 29 14:47:04 2011 +0200
+++ b/server/serverconfig.py	Tue Aug 09 09:43:26 2011 +0200
@@ -302,9 +302,7 @@
                         if attr != 'adapter':
                             self.error('skip unknown option %s in sources file')
                 sconfig = _sconfig
-            print >> stream, '[%s]' % section
-            print >> stream, generate_source_config(sconfig)
-            print >> stream
+            stream.write('[%s]\n%s\n' % (section, generate_source_config(sconfig)))
         restrict_perms_to_user(sourcesfile)
 
     def pyro_enabled(self):