URI: 
       tfix issue occuring with set_server - electrum - Electrum Bitcoin wallet
  HTML git clone https://git.parazyd.org/electrum
   DIR Log
   DIR Files
   DIR Refs
   DIR Submodules
       ---
   DIR commit de94eaadeb65c2167ea8b1530e4907a2d904a9b4
   DIR parent 2fb738be594c38ed33de97f53e477c6d3d230d42
  HTML Author: ThomasV <thomasv@gitorious>
       Date:   Tue, 17 Dec 2013 18:20:54 +0100
       
       fix issue occuring with set_server
       
       Diffstat:
         M lib/interface.py                    |       2 ++
         M lib/network.py                      |       2 +-
       
       2 files changed, 3 insertions(+), 1 deletion(-)
       ---
   DIR diff --git a/lib/interface.py b/lib/interface.py
       t@@ -562,6 +562,8 @@ class Interface(threading.Thread):
                    self.s.shutdown(socket.SHUT_RDWR)
                    self.s.close()
        
       +        self.is_connected = False
       +
        
            def is_up_to_date(self):
                return self.unanswered_requests == {}
   DIR diff --git a/lib/network.py b/lib/network.py
       t@@ -232,7 +232,7 @@ class Network(threading.Thread):
        
            def stop_interface(self):
                self.interface.stop() 
       -        #self.interface = None
       +
        
            def set_server(self, server):
                if self.default_server == server and self.interface.is_connected: