Commit 8df1ab8ebc63c61d6b759209fe5221c6e2ca06e1

Authored by Alain Prouté
1 parent cd43e7ad

*** empty log message ***

anubis_dev/library/tools/basis.anubis
... ... @@ -2372,7 +2372,7 @@ public define List(String)
2372 2372 The coherency of such files may be easily checked. Checking the coherency, and
2373 2373 retrieving the content at the same time, works like this:
2374 2374  
2375   -define RetrieveResult($T)
  2375 + define RetrieveResult($T)
2376 2376 check_and_retrieve
2377 2377 (
2378 2378 String file_name
... ... @@ -2404,7 +2404,7 @@ define RetrieveResult($T)
2404 2404 sort them by date. The most recent coherent one will give the result of
2405 2405 'secure_retrieve'.
2406 2406  
2407   -define RetrieveResult($T)
  2407 + define RetrieveResult($T)
2408 2408 retrieve_best_file
2409 2409 (
2410 2410 List(String) file_names // ordered the most recent one first
... ... @@ -2419,9 +2419,9 @@ define RetrieveResult($T)
2419 2419 }.
2420 2420  
2421 2421  
2422   -type FileDate: file_date(String name_part, Int32 date_part).
  2422 + type FileDate: file_date(String name_part, Int32 date_part).
2423 2423  
2424   -define (String,String)
  2424 + define (String,String)
2425 2425 split_path_and_name
2426 2426 (
2427 2427 String name,
... ... @@ -2437,7 +2437,7 @@ define (String,String)
2437 2437 }.
2438 2438  
2439 2439  
2440   -public define RetrieveResult($T)
  2440 + public define RetrieveResult($T)
2441 2441 secure_retrieve
2442 2442 (
2443 2443 String file_name
... ...
anubis_dev/library/tools/schedul_task.anubis
... ... @@ -41,6 +41,8 @@ public define One
41 41  
42 42  
43 43  
  44 +
  45 +
44 46 --- That's all for the public part ! --------------------------------------------------
45 47  
46 48 read basis.anubis
... ... @@ -87,7 +89,11 @@ public define One
87 89 Int32 interval, // interval between two executions (in seconds)
88 90 Var(Bool) shutdown_required // exit the loop when it becomes 'true'
89 91 ) =
90   - schedul_task(task,compute_start_time(convert_time(start),interval),interval,shutdown_required).
  92 + delegate schedul_task(task,
  93 + compute_start_time(convert_time(start),interval),
  94 + interval,
  95 + shutdown_required),
  96 + unique.
91 97  
92 98  
93 99  
94 100 \ No newline at end of file
... ...