diff --git a/anubis_dev/library/tools/basis.anubis b/anubis_dev/library/tools/basis.anubis index 71ad5d3..30c589a 100644 --- a/anubis_dev/library/tools/basis.anubis +++ b/anubis_dev/library/tools/basis.anubis @@ -2372,7 +2372,7 @@ public define List(String) The coherency of such files may be easily checked. Checking the coherency, and retrieving the content at the same time, works like this: -define RetrieveResult($T) + define RetrieveResult($T) check_and_retrieve ( String file_name @@ -2404,7 +2404,7 @@ define RetrieveResult($T) sort them by date. The most recent coherent one will give the result of 'secure_retrieve'. -define RetrieveResult($T) + define RetrieveResult($T) retrieve_best_file ( List(String) file_names // ordered the most recent one first @@ -2419,9 +2419,9 @@ define RetrieveResult($T) }. -type FileDate: file_date(String name_part, Int32 date_part). + type FileDate: file_date(String name_part, Int32 date_part). -define (String,String) + define (String,String) split_path_and_name ( String name, @@ -2437,7 +2437,7 @@ define (String,String) }. -public define RetrieveResult($T) + public define RetrieveResult($T) secure_retrieve ( String file_name diff --git a/anubis_dev/library/tools/schedul_task.anubis b/anubis_dev/library/tools/schedul_task.anubis index 66bcd3b..9ffc11f 100644 --- a/anubis_dev/library/tools/schedul_task.anubis +++ b/anubis_dev/library/tools/schedul_task.anubis @@ -41,6 +41,8 @@ public define One + + --- That's all for the public part ! -------------------------------------------------- read basis.anubis @@ -87,7 +89,11 @@ public define One Int32 interval, // interval between two executions (in seconds) Var(Bool) shutdown_required // exit the loop when it becomes 'true' ) = - schedul_task(task,compute_start_time(convert_time(start),interval),interval,shutdown_required). + delegate schedul_task(task, + compute_start_time(convert_time(start),interval), + interval, + shutdown_required), + unique. \ No newline at end of file -- libgit2 0.21.4