# HG changeset patch
# User laurent
# Date 1260884418 -3600
# Node ID 6a926af33ebc44b0c731de9553c7b74b5cd2d68a
# Parent  022e034bd4b844b6336a04ec20ef52ab1c78a33d
Reset connector when disconnected

diff -r 022e034bd4b8 -r 6a926af33ebc plugger.py
--- a/plugger.py	Tue Dec 15 10:06:01 2009 +0100
+++ b/plugger.py	Tue Dec 15 14:40:18 2009 +0100
@@ -1549,6 +1549,7 @@
         if self._connector is not None:
             status = self._connector.GetPLCstatus()
         if status is None:
+            self._connector = None
             status = "Disconnected"
         if(self.previous_plcstate != status):
             for args in {