From 0d68926da2e3bceea964c21dd3eaf4adfb9331b2 Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@gitorious>
Date: Mon, 22 Oct 2012 18:50:17 +0200
Subject: [PATCH] fix: copy the default servers array

---
 lib/interface.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/interface.py b/lib/interface.py
index f2ecb030b..9266da5ca 100644
--- a/lib/interface.py
+++ b/lib/interface.py
@@ -331,7 +331,7 @@ class Interface(threading.Thread):
             self.init_with_server(self.config)
         else:
             print "Using random server..."
-            servers = DEFAULT_SERVERS
+            servers = DEFAULT_SERVERS[:]
             while servers:
                 server = random.choice( servers )
                 servers.remove(server)