changeset 64186 | 49816908ae42 |
parent 64184 | 68e95e5b2b7d |
child 64187 | 450e06dabdd9 |
--- a/src/Pure/Admin/isabelle_cronjob.scala Thu Oct 13 11:43:40 2016 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Thu Oct 13 11:54:06 2016 +0200 @@ -125,6 +125,8 @@ /** cronjob **/ + def init_options(): Options = Options.load(Path.explode("~~/Admin/cronjob/cronjob.options")) + def cronjob(progress: Progress) { /* soft lock */