src/Pure/Tools/server_commands.scala
changeset 67884 43af581d7d8e
parent 67883 171e7735ce25
child 67885 839a624aabb9
--- a/src/Pure/Tools/server_commands.scala	Fri Mar 16 18:42:35 2018 +0100
+++ b/src/Pure/Tools/server_commands.scala	Fri Mar 16 22:20:09 2018 +0100
@@ -170,12 +170,14 @@
       }
       yield Args(session_id, theories, qualifier = qualifier, master_dir = master_dir)
 
-    def command(args: Args, session: Thy_Resources.Session, progress: Progress = No_Progress)
-      : (JSON.Object.T, Thy_Resources.Theories_Result) =
+    def command(args: Args,
+      session: Thy_Resources.Session,
+      id: String = Library.UUID(),
+      progress: Progress = No_Progress): (JSON.Object.T, Thy_Resources.Theories_Result) =
     {
       val result =
         session.use_theories(args.theories, qualifier = args.qualifier,
-          master_dir = args.master_dir, progress = progress)
+          master_dir = args.master_dir, id = id, progress = progress)
 
       val result_json =
         JSON.Object(