servers not updating peers list properly; let us see if this fixes it
[electrum-server.git] / patches /
2011-11-04 ThomasVserver code