changeset 2611 | a1bf03277cec |
parent 2604 | c8a25a3a7f8b |
child 3584 | 8a54fd58a552 |
--- a/runtime/Worker.py Tue Apr 23 11:01:35 2019 +0200 +++ b/runtime/Worker.py Thu May 30 11:51:56 2019 +0200 @@ -23,7 +23,6 @@ self.result = None self.success = None self.exc_info = None - self.enabled = False def do(self): """ @@ -51,6 +50,7 @@ self.done = Condition(self.mutex) self.free = Condition(self.mutex) self.job = None + self.enabled = False def reraise(self, job): """