server/serverctl.py
changeset 1980 35394365b6c1
parent 1977 606923dff11b
child 2105 92ea410806fe
equal deleted inserted replaced
1979:daf297034197 1980:35394365b6c1
   117                     _sconfig.adapter = val
   117                     _sconfig.adapter = val
   118                 else:
   118                 else:
   119                     _sconfig.set_option(attr, val)
   119                     _sconfig.set_option(attr, val)
   120             sconfig = _sconfig
   120             sconfig = _sconfig
   121         optsbysect = list(sconfig.options_by_section())
   121         optsbysect = list(sconfig.options_by_section())
   122         assert len(optsbysect) == 1
   122         assert len(optsbysect) == 1, 'all options for a source should be in the same group'
   123         ini_format_section(stream, uri, optsbysect[0][1])
   123         ini_format_section(stream, uri, optsbysect[0][1])
   124         if hasattr(sconfig, 'adapter'):
   124         if hasattr(sconfig, 'adapter'):
   125             print >> stream
   125             print >> stream
   126             print >> stream, '# adapter for this source (YOU SHOULD NOT CHANGE THIS)'
   126             print >> stream, '# adapter for this source (YOU SHOULD NOT CHANGE THIS)'
   127             print >> stream, 'adapter=%s' % sconfig.adapter
   127             print >> stream, 'adapter=%s' % sconfig.adapter