# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1530260676 -7200
# Node ID a110dcc9a4c74ca1db9b0e03ea2f0c2600951505
# Parent  29235951f104b72476ff9f0fbd34984585fe8489
remove trailing commas

diff -r 29235951f104 -r a110dcc9a4c7 src/Pure/Admin/isabelle_cronjob.scala
--- 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")) }
diff -r 29235951f104 -r a110dcc9a4c7 src/Pure/Tools/server.scala
--- 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)) =>