URI: 

       tre-add pick_random_server - electrum - Electrum Bitcoin wallet
  HTML git clone https://git.parazyd.org/electrum
   DIR Log
   DIR Files
   DIR Refs
   DIR Submodules
       ---
   DIR commit e256bae89c32c0ba4e6fbaa7269c07b991765a11
   DIR parent 1be23bdf4aa385768c538168486b75d28900f7e3
  HTML Author: thomasv <thomasv@gitorious>
       Date:   Mon,  7 Oct 2013 16:07:44 +0200
       
       re-add pick_random_server
       
       Diffstat:
         M lib/network.py                      |       4 ++--
       
       1 file changed, 2 insertions(+), 2 deletions(-)
       ---
   DIR diff --git a/lib/network.py b/lib/network.py
       t@@ -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