--- a/src/Pure/Admin/isabelle_cronjob.scala Thu Jun 28 17:14:52 2018 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Fri Jun 29 10:24:36 2018 +0200
@@ -299,7 +299,7 @@
" -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
" -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
args = "-a",
- detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
+ detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))
) :::
{
for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
--- a/src/Pure/Tools/server.scala Thu Jun 28 17:14:52 2018 +0200
+++ b/src/Pure/Tools/server.scala Fri Jun 29 10:24:36 2018 +0200
@@ -102,7 +102,7 @@
val session = context.server.the_session(args.session_id)
Server_Commands.Use_Theories.command(
args, session, id = task.id, progress = task.progress)._1
- }),
+ })
},
"purge_theories" ->
{ case (context, Server_Commands.Purge_Theories(args)) =>