beremiz

Parents 7e31997b2799
Children 98eb3d1c56b0
Fixed typo leading to some exception in some rare corner cases in worker.py
--- 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):
"""