server/serverconfig.py
branchstable
changeset 3905 8117ffd92e6a
parent 3904 dc7d315165fc
child 3912 412eb366740b
equal deleted inserted replaced
3904:dc7d315165fc 3905:8117ffd92e6a
    38     def __init__(self, appid, options):
    38     def __init__(self, appid, options):
    39         super(SourceConfiguration, self).__init__(options=options)
    39         super(SourceConfiguration, self).__init__(options=options)
    40         self.appid = appid
    40         self.appid = appid
    41 
    41 
    42     # make Method('default_instance_id') usable in db option defs (in native.py)
    42     # make Method('default_instance_id') usable in db option defs (in native.py)
    43     def default_instance_id
    43     def default_instance_id(self):
    44         return self.appid
    44         return self.appid
    45 
    45 
    46 def generate_sources_file(appid, sourcesfile, sourcescfg, keys=None):
    46 def generate_sources_file(appid, sourcesfile, sourcescfg, keys=None):
    47     """serialize repository'sources configuration into a INI like file
    47     """serialize repository'sources configuration into a INI like file
    48 
    48