server/serverconfig.py
changeset 6478 8098e1295cf0
parent 6427 c8a5ac2d1eaa
child 6627 430b7703b3fd
equal deleted inserted replaced
6477:a91f3541b3dd 6478:8098e1295cf0
   269         if self.sources_mode is not None:
   269         if self.sources_mode is not None:
   270             if 'migration' in self.sources_mode:
   270             if 'migration' in self.sources_mode:
   271                 assert len(self.sources_mode) == 1
   271                 assert len(self.sources_mode) == 1
   272                 if source.connect_for_migration:
   272                 if source.connect_for_migration:
   273                     return True
   273                     return True
   274                 print 'not connecting to source', uri, 'during migration'
   274                 print 'not connecting to source', source.uri, 'during migration'
   275                 return False
   275                 return False
   276             if 'all' in self.sources_mode:
   276             if 'all' in self.sources_mode:
   277                 assert len(self.sources_mode) == 1
   277                 assert len(self.sources_mode) == 1
   278                 return True
   278                 return True
   279             return source.uri in self.sources_mode
   279             return source.uri in self.sources_mode