tuned;
authorwenzelm
Sun Oct 22 13:45:45 2017 +0200 (22 months ago)
changeset 66897d2f983fe3e73
parent 66896 85e6748bf8b2
child 66898 8b7c4679c05b
tuned;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 13:22:37 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 22 13:45:45 2017 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  
     1.5  object Isabelle_Cronjob
     1.6  {
     1.7 -  /* file-system state: owned by main cronjob */
     1.8 +  /* global resources: owned by main cronjob */
     1.9  
    1.10    val main_dir = Path.explode("~/cronjob")
    1.11    val main_state_file = main_dir + Path.explode("run/main.state")
    1.12 @@ -427,10 +427,7 @@
    1.13        })
    1.14  
    1.15  
    1.16 -    /* main */
    1.17 -
    1.18 -    val main_start_date = Date.now()
    1.19 -    File.write(main_state_file, main_start_date + " " + log_service.hostname)
    1.20 +    /* repository structure */
    1.21  
    1.22      val hg = Mercurial.repository(isabelle_repos)
    1.23      val hg_graph = hg.graph()
    1.24 @@ -443,6 +440,12 @@
    1.25        (item: Item) => nodes(item.isabelle_version)
    1.26      }
    1.27  
    1.28 +
    1.29 +    /* main */
    1.30 +
    1.31 +    val main_start_date = Date.now()
    1.32 +    File.write(main_state_file, main_start_date + " " + log_service.hostname)
    1.33 +
    1.34      run(main_start_date,
    1.35        Logger_Task("isabelle_cronjob", logger =>
    1.36          run_now(