From de94eaadeb65c2167ea8b1530e4907a2d904a9b4 Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@gitorious>
Date: Tue, 17 Dec 2013 18:20:54 +0100
Subject: [PATCH] fix issue occuring with set_server

---
 lib/interface.py | 2 ++
 lib/network.py   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/interface.py b/lib/interface.py
index cd7bf256..9389582e 100644
--- 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
index ed0bab8c..4a04b247 100644
--- 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: