--- a/runtime/Worker.py Wed Dec 05 13:04:37 2018 +0100
+++ b/runtime/Worker.py Wed Dec 05 13:05:51 2018 +0100
@@ -56,6 +56,7 @@
meant to be called by worker thread (blocking)
self._threadID = thread.get_ident()
_job = job(*args, **kwargs)
@@ -64,7 +65,6 @@
raise _job.exc_info[0], _job.exc_info[1], _job.exc_info[2]