From e256bae89c32c0ba4e6fbaa7269c07b991765a11 Mon Sep 17 00:00:00 2001
From: thomasv <thomasv@gitorious>
Date: Mon, 7 Oct 2013 16:07:44 +0200
Subject: [PATCH] re-add pick_random_server

---
 lib/network.py |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/network.py b/lib/network.py
index 003a657..13ab30a 100644
--- 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
 
-- 
1.7.1