author | Edouard Tisserant |
Wed, 05 Sep 2018 12:58:41 +0200 | |
changeset 2271 | 985973ed701b |
parent 2270 | d9175daf6522 |
child 2272 | 28b0a783975e |
runtime/Worker.py | file | annotate | diff | comparison | revisions |
--- a/runtime/Worker.py Tue Aug 21 16:11:02 2018 +0200 +++ b/runtime/Worker.py Wed Sep 05 12:58:41 2018 +0200 @@ -76,7 +76,7 @@ _job = job(*args, **kwargs) - if self._threadID == thread.get_ident() or self._threadID is None: + if self._threadID == thread.get_ident(): # if caller is worker thread execute immediately _job.do() else: