src/Pure/Admin/isabelle_cronjob.scala
changeset 64156 01716e3c3e68
parent 64155 646c4d6a6a02
child 64157 3e4400f21310
equal deleted inserted replaced
64155:646c4d6a6a02 64156:01716e3c3e68
    40 
    40 
    41     val hostname = Isabelle_System.hostname()
    41     val hostname = Isabelle_System.hostname()
    42 
    42 
    43     def log(date: Date, msg: String)
    43     def log(date: Date, msg: String)
    44     {
    44     {
    45       val text = "[" + Build_Log.print_date(date) + " " + hostname + "]: " + msg
    45       val text = "[" + Build_Log.print_date(date) + ", " + hostname + "]: " + msg
    46       File.append(main_log, text + "\n")
    46       File.append(main_log, text + "\n")
    47       progress.echo(text)
    47       progress.echo(text)
    48     }
    48     }
    49 
    49 
    50 
    50