# HG changeset patch # User Sylvain Thénault # Date 1286979457 -7200 # Node ID 8098e1295cf027296ebb841090415ff069a4927a # Parent a91f3541b3dd890013775712a29ff1d673007715 [server] fix dumb name error diff -r a91f3541b3dd -r 8098e1295cf0 server/serverconfig.py --- a/server/serverconfig.py Wed Oct 13 16:17:20 2010 +0200 +++ b/server/serverconfig.py Wed Oct 13 16:17:37 2010 +0200 @@ -271,7 +271,7 @@ assert len(self.sources_mode) == 1 if source.connect_for_migration: return True - print 'not connecting to source', uri, 'during migration' + print 'not connecting to source', source.uri, 'during migration' return False if 'all' in self.sources_mode: assert len(self.sources_mode) == 1