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):