# HG changeset patch
# User wenzelm
# Date 1605566960 -3600
# Node ID 5e616a454b230f253043008347ca33b5868002d9
# Parent  8d83acc5062e5978f1e3ac02edb2ef16f7b11f06
clarified Resources.init_session for low-level "isabelle process";

diff -r 8d83acc5062e -r 5e616a454b23 src/Pure/ML/ml_process.scala
--- a/src/Pure/ML/ml_process.scala	Mon Nov 16 23:27:43 2020 +0100
+++ b/src/Pure/ML/ml_process.scala	Mon Nov 16 23:49:20 2020 +0100
@@ -201,11 +201,11 @@
     val more_args = getopts(args)
     if (args.isEmpty || more_args.nonEmpty) getopts.usage()
 
-    val sessions_structure = Sessions.load_structure(options, dirs = dirs)
+    val base_info = Sessions.base_info(options, logic, dirs = dirs).check
     val store = Sessions.store(options)
-
     val result =
-      ML_Process(options, sessions_structure, store, logic = logic, args = eval_args, modes = modes)
+      ML_Process(options, base_info.sessions_structure, store, logic = logic, args = eval_args,
+        modes = modes, session_base = Some(base_info.base))
         .result(
           progress_stdout = Output.writeln(_, stdout = true),
           progress_stderr = Output.writeln(_))