|
@@ -98,7 +98,7 @@ class ModelverseKernel(object):
|
|
|
|
|
|
return handler.handle_request(reply)
|
|
|
except:
|
|
|
- print("Unknown error @ " + str(self.debug_info.get(taskname, "Username unknown")))
|
|
|
+ print("Unknown error @ " + str(self.debug_info.get(taskname, "Unknown task")))
|
|
|
raise
|
|
|
|
|
|
def execute_rule(self, taskname):
|
|
@@ -696,11 +696,9 @@ class ModelverseKernel(object):
|
|
|
# gives us O(1) state reads per jit-interpreter transition.
|
|
|
exception_return, = yield [("RD", [task_frame, primitive_functions.EXCEPTION_RETURN_KEY])]
|
|
|
if prev_frame is None:
|
|
|
- print("Frame empty; delete task " + str(self.taskname))
|
|
|
_, = yield [("DN", [task_root])]
|
|
|
del self.debug_info[self.taskname]
|
|
|
else:
|
|
|
- print("Previous frame found")
|
|
|
if self.debug_info[self.taskname]:
|
|
|
self.debug_info[self.taskname].pop()
|
|
|
_, _ = yield [("CD", [task_root, "frame", prev_frame]),
|