fix issue occuring with set_server
authorThomasV <thomasv@gitorious>
Tue, 17 Dec 2013 17:20:54 +0000 (18:20 +0100)
committerThomasV <thomasv@gitorious>
Tue, 17 Dec 2013 17:20:54 +0000 (18:20 +0100)
lib/interface.py
lib/network.py

index cd7bf25..9389582 100644 (file)
@@ -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 == {}
index ed0bab8..4a04b24 100644 (file)
@@ -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: