From f74aa9ed3a3aec0448790136a9326aa45e7d18c0 Mon Sep 17 00:00:00 2001 From: ThomasV Date: Sat, 5 Oct 2013 15:31:39 +0200 Subject: [PATCH] smaller timeout if disconnected --- lib/network.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/lib/network.py b/lib/network.py index faf87d557..50b08b1cc 100644 --- a/lib/network.py +++ b/lib/network.py @@ -221,6 +221,9 @@ class Network(threading.Thread): if self.default_server == server and self.interface: return + if self.protocol != server.split(':')[2]: + return + # stop the interface in order to terminate subscriptions if self.interface: self.interface.stop() @@ -269,7 +272,7 @@ class Network(threading.Thread): while self.is_running(): try: - i = self.queue.get(timeout = 30) + i = self.queue.get(timeout = 30 if self.interfaces else 3) except Queue.Empty: if len(self.interfaces) < NUM_SERVERS: self.start_random_interface()