server/repository.py
changeset 8672 e8afecc3b576
parent 8671 150bbb066167
child 8694 d901c36bcfce
equal deleted inserted replaced
8671:150bbb066167 8672:e8afecc3b576
   184         self.vreg.schema = self.schema # until actual schema is loaded...
   184         self.vreg.schema = self.schema # until actual schema is loaded...
   185         # shutdown flag
   185         # shutdown flag
   186         self.shutting_down = False
   186         self.shutting_down = False
   187         # sources (additional sources info in the system database)
   187         # sources (additional sources info in the system database)
   188         self.system_source = self.get_source('native', 'system',
   188         self.system_source = self.get_source('native', 'system',
   189                                              config.sources()['system'])
   189                                              config.sources()['system'].copy())
   190         self.sources = [self.system_source]
   190         self.sources = [self.system_source]
   191         self.sources_by_uri = {'system': self.system_source}
   191         self.sources_by_uri = {'system': self.system_source}
   192         # querier helper, need to be created after sources initialization
   192         # querier helper, need to be created after sources initialization
   193         self.querier = querier.QuerierHelper(self, self.schema)
   193         self.querier = querier.QuerierHelper(self, self.schema)
   194         # cache eid -> (type, physical source, extid, actual source)
   194         # cache eid -> (type, physical source, extid, actual source)