Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message -- more parsable;
authorwenzelm
Tue, 11 Oct 2016 22:24:47 +0200
changeset 64156 01716e3c3e68
parent 64155 646c4d6a6a02
child 64157 3e4400f21310
tuned message -- more parsable;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:24:14 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 11 22:24:47 2016 +0200
@@ -42,7 +42,7 @@
 
     def log(date: Date, msg: String)
     {
-      val text = "[" + Build_Log.print_date(date) + " " + hostname + "]: " + msg
+      val text = "[" + Build_Log.print_date(date) + ", " + hostname + "]: " + msg
       File.append(main_log, text + "\n")
       progress.echo(text)
     }
isabelle