|
@@ -19,7 +19,7 @@ class ModelverseKernel(object):
|
|
|
self.generators = {}
|
|
|
self.allow_compiled = True
|
|
|
#self.allow_compiled = False
|
|
|
- self.debug_info = defaultdict(lambda: ["None"])
|
|
|
+ self.debug_info = defaultdict(list)
|
|
|
|
|
|
def execute_yields(self, username, operation, params, reply):
|
|
|
try:
|
|
@@ -60,7 +60,9 @@ class ModelverseKernel(object):
|
|
|
("RV", [self.inst]),
|
|
|
]
|
|
|
if self.new_debug is not None:
|
|
|
- self.debug_info[username][-1], = yield [("RV", [self.new_debug])]
|
|
|
+ if len(self.debug_info[username]) > 0:
|
|
|
+ self.debug_info[username][-1], = yield [("RV", [self.new_debug])]
|
|
|
+ print(self.debug_info[username])
|
|
|
|
|
|
if self.phase_v == "finish":
|
|
|
gen = self.helper_init(user_root)
|
|
@@ -531,12 +533,12 @@ class ModelverseKernel(object):
|
|
|
value, = yield [("RD", [inst, "value"])]
|
|
|
|
|
|
if value is None:
|
|
|
- self.debug_info[self.username].pop()
|
|
|
prev_frame, = yield [("RD", [user_frame, "prev"])]
|
|
|
if prev_frame is None:
|
|
|
_, = yield [("DN", [user_root])]
|
|
|
del self.debug_info[self.username]
|
|
|
else:
|
|
|
+ self.debug_info[self.username].pop()
|
|
|
_, _ = yield [("CD", [user_root, "frame", prev_frame]),
|
|
|
("DN", [user_frame]),
|
|
|
]
|