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