瀏覽代碼

Remove tasks when no longer in use

Yentl Van Tendeloo 7 年之前
父節點
當前提交
676d419383
共有 4 個文件被更改,包括 4 次插入1 次删除
  1. 二進制
      bootstrap/bootstrap.m.gz
  2. 2 0
      bootstrap/core_algorithm.alc
  3. 1 0
      wrappers/modelverse.py
  4. 1 1
      wrappers/modelverse_SCCD.py

二進制
bootstrap/bootstrap.m.gz


+ 2 - 0
bootstrap/core_algorithm.alc

@@ -2439,6 +2439,8 @@ Void function user_function_skip_init(user_id : String):
 			// Exit by actually removing the user and decoupling it from all of its models
 			// Restarting with the same user name will NOT grant you access to anything of the previous user with that same name
 			// as the current user will have been deleted
+			output("Success")
+			sleep(5)
 			return !
 		elif (cmd == "folder_create"):
 			output(cmd_folder_create(single_input("Folder name?")))

+ 1 - 0
wrappers/modelverse.py

@@ -57,6 +57,7 @@ def __run_new_modelverse(address, username, password, callback, model):
     login(username, password)
     callback(model)
     exit_save(model)
+    disconnect()
 
 def __run_new_modelverse_activity(address, username, password, taskname, pipe, callback):
     init(address, taskname=taskname)

+ 1 - 1
wrappers/modelverse_SCCD.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
 
-Date:   Thu Nov 30 13:01:17 2017
+Date:   Fri Jan  5 08:28:00 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server