re-add pick_random_server

2013-10-07 16:07:44 +02:00 · 2013-10-07 16:07:44 +02:00 · e256bae89c
parent 1be23bdf4a
commit e256bae89c
1 changed files with 2 additions and 2 deletions
--- 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