servers not updating peers list properly; let us see if this fixes it
[electrum-server.git] / start
2011-11-23 ThomasVstart and stop