commit de94eaadeb65c2167ea8b1530e4907a2d904a9b4
parent 2fb738be594c38ed33de97f53e477c6d3d230d42
Author: ThomasV <thomasv@gitorious>
Date: Tue, 17 Dec 2013 18:20:54 +0100
fix issue occuring with set_server
Diffstat:
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/lib/interface.py b/lib/interface.py
@@ -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 == {}
diff --git a/lib/network.py b/lib/network.py
@@ -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: