src/Pure/System/isabelle_process.scala
changeset 68204 a554da2811f2
parent 68169 395432e7516e
child 68209 aeffd8f1f079
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu May 17 14:50:48 2018 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu May 17 15:38:36 2018 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4      modes: List[String] = Nil,
     1.5      cwd: JFile = null,
     1.6      env: Map[String, String] = Isabelle_System.settings(),
     1.7 -    sessions: Option[Sessions.Structure] = None,
     1.8 +    sessions_structure: Option[Sessions.Structure] = None,
     1.9      store: Sessions.Store = Sessions.store(),
    1.10      phase_changed: Session.Phase => Unit = null)
    1.11    {
    1.12 @@ -30,7 +30,7 @@
    1.13      session.start(receiver =>
    1.14        Isabelle_Process(options, logic = logic, args = args, dirs = dirs, modes = modes,
    1.15          cwd = cwd, env = env, receiver = receiver, xml_cache = session.xml_cache,
    1.16 -        sessions = sessions, store = store))
    1.17 +        sessions_structure = sessions_structure, store = store))
    1.18    }
    1.19  
    1.20    def apply(
    1.21 @@ -43,14 +43,14 @@
    1.22      env: Map[String, String] = Isabelle_System.settings(),
    1.23      receiver: Prover.Receiver = (msg: Prover.Message) => Output.writeln(msg.toString, stdout = true),
    1.24      xml_cache: XML.Cache = XML.make_cache(),
    1.25 -    sessions: Option[Sessions.Structure] = None,
    1.26 +    sessions_structure: Option[Sessions.Structure] = None,
    1.27      store: Sessions.Store = Sessions.store()): Prover =
    1.28    {
    1.29      val channel = System_Channel()
    1.30      val process =
    1.31        try {
    1.32 -        ML_Process(options, logic = logic, args = args, dirs = dirs, modes = modes,
    1.33 -          cwd = cwd, env = env, sessions = sessions, store = store, channel = Some(channel))
    1.34 +        ML_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, cwd = cwd,
    1.35 +          env = env, sessions_structure = sessions_structure, store = store, channel = Some(channel))
    1.36        }
    1.37        catch { case exn @ ERROR(_) => channel.accepted(); throw exn }
    1.38      process.stdin.close