--- a/runtime/Worker.py Thu Apr 18 14:34:22 2019 +0200
+++ b/runtime/Worker.py Thu Apr 18 14:35:42 2019 +0200
@@ -21,8 +21,9 @@
def __init__(self, call, *args, **kwargs):
self.job = (call, args, kwargs)
@@ -67,9 +68,11 @@
self._threadID = _thread.get_ident()
_job = job(*args, **kwargs)
+ # _job.success can't be None after do() @@ -99,6 +102,9 @@
# otherwise notify and wait for completion
+ raise EOFError("Worker is disabled") while self.job is not None:
@@ -110,6 +116,9 @@
+ if _job.success is None: + raise EOFError("Worker job was interrupted") @@ -122,6 +131,8 @@