use a separate lock for the cache; this should improve performance significantly
[electrum-server.git] / stop
2011-11-23 ThomasVstart and stop