re-add pick_random_server

diff --git a/lib/network.py b/lib/network.py
index 003a657..13ab30a 100644 (file)
--- a/lib/network.py
+++ b/lib/network.py
@@ -35,8 +35,8 @@ def filter_protocol(servers, p):
     return l
     
 
-#def pick_random_server():
-#    return random.choice( filter_protocol(DEFAULT_SERVERS,'s') )
+def pick_random_server():
+    return random.choice( filter_protocol(DEFAULT_SERVERS,'s') )
 
 from simple_config import SimpleConfig