changeset 516 | 6a926af33ebc |
parent 511 | 518c30f2a507 |
child 529 | ffe0fba7e427 |
--- 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 {