src/Pure/Admin/isabelle_cronjob.scala
changeset 64155 646c4d6a6a02
parent 64154 e5cf40a54b1e
child 64156 01716e3c3e68
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:14:26 2016 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:24:14 2016 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4  
     1.5      def log(date: Date, msg: String)
     1.6      {
     1.7 -      val text = "[" + Build_Log.Log_File.Date_Format(date) + " " + hostname + "]: " + msg
     1.8 +      val text = "[" + Build_Log.print_date(date) + " " + hostname + "]: " + msg
     1.9        File.append(main_log, text + "\n")
    1.10        progress.echo(text)
    1.11      }
    1.12 @@ -77,7 +77,7 @@
    1.13        Isabelle_System.mkdirs(log_path.dir)
    1.14        File.write(log_path,
    1.15          Library.terminate_lines(
    1.16 -          List("isabelle_identify: " + Build_Log.Log_File.Date_Format(pull_date),
    1.17 +          List("isabelle_identify: " + Build_Log.print_date(pull_date),
    1.18              "",
    1.19              "Isabelle version: " + isabelle_id,
    1.20              "AFP version: " + afp_id)))