AaronFiore/electrum
1
0
Fork 0
Code Activity

fix: copy the default servers array

Browse Source
This commit is contained in:
ThomasV
2012-10-22 18:50:17 +02:00
parent 3a23e54a1a
commit 0d68926da2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/interface.py
View File

@@ -331,7 +331,7 @@ class Interface(threading.Thread):
self.init_with_server(self.config) self.init_with_server(self.config)
else: else:
print "Using random server..." print "Using random server..."
servers = DEFAULT_SERVERS servers = DEFAULT_SERVERS[:]
while servers: while servers:
server = random.choice( servers ) server = random.choice( servers )
servers.remove(server) servers.remove(server)