Browse Source

Make sure that input taskname is not output again to someone else

Yentl Van Tendeloo 5 years ago
parent
commit
a00d54d1b0
1 changed files with 5 additions and 1 deletions
  1. 5 1
      bootstrap/task_manager.alc

+ 5 - 1
bootstrap/task_manager.alc

@@ -10,6 +10,7 @@ Void function task_management():
 	Element task_frame
 	Element output_value
 	Element input_value
+	Boolean gen_output
 
 	// Initialize the basic formalisms before allowing new users
 	initialize_MMs()
@@ -17,6 +18,7 @@ Void function task_management():
 	taskname = "task_manager"
 	
 	while (True):
+		gen_output = True
 		while (True):
 			if (bool_not(other_has_output("task_manager"))):
 				while (dict_in(read_root(), taskname)):
@@ -27,6 +29,7 @@ Void function task_management():
 				if (dict_in(read_root(), taskname)):
 					sleep(0.05)
 				else:
+					gen_output = False
 					break!
 			else:
 				sleep(0.05)
@@ -51,5 +54,6 @@ Void function task_management():
 
 		//Add this only at the end, as otherwise the task will already be detected
 		dict_add_fast(read_root(), taskname, task_root)
-		output(taskname)
+		if (gen_output):
+			output(taskname)
 	return!