runtime/Worker.py
changeset 2429 15f18dc8b56a
parent 2309 d8fb90a2e11f
child 2463 8742337a9fe3
--- a/runtime/Worker.py	Thu Nov 22 23:39:54 2018 +0100
+++ b/runtime/Worker.py	Fri Nov 23 00:33:04 2018 +0100
@@ -103,7 +103,10 @@
         if _job.success:
             return _job.result
         else:
-            raise _job.exc_info[0], _job.exc_info[1], _job.exc_info[2]
+            exc_type = _job.exc_info[0]
+            exc_value = _job.exc_info[1]
+            exc_traceback = _job.exc_info[2]
+            six.reraise(exc_type, exc_value, exc_traceback)
 
     def quit(self):
         """