Browse Source

Decent merge

Yentl Van Tendeloo 8 years ago
parent
commit
4cba2ef6fc
2 changed files with 1 additions and 1644 deletions
  1. 1 2
      kernel/modelverse_kernel/main.py
  2. 0 1642
      kernel/mvk_server/server.py

+ 1 - 2
kernel/modelverse_kernel/main.py

@@ -60,9 +60,8 @@ class ModelverseKernel(object):
                                    ("RV", [self.inst]),
                                   ]
             if self.new_debug is not None:
-                if len(self.debug_info[username]) > 0:
+                if self.debug_info[username]:
                     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)

File diff suppressed because it is too large
+ 0 - 1642
kernel/mvk_server/server.py