tuned output;
authorwenzelm
Sat Mar 24 20:51:42 2018 +0100 (14 months ago)
changeset 67945984c3dc46cc0
parent 67944 cb2b1a75ff59
child 67946 e1e57c288e45
tuned output;
src/Pure/Thy/thy_resources.scala
     1.1 --- a/src/Pure/Thy/thy_resources.scala	Sat Mar 24 20:47:54 2018 +0100
     1.2 +++ b/src/Pure/Thy/thy_resources.scala	Sat Mar 24 20:51:42 2018 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4        session_base getOrElse
     1.5        Sessions.base_info(options, session_name, progress = progress, dirs = session_dirs).check_base
     1.6      val resources = new Thy_Resources(base, log = log)
     1.7 -    val session = new Session(options, resources)
     1.8 +    val session = new Session(session_name, options, resources)
     1.9  
    1.10      val session_error = Future.promise[String]
    1.11      var session_phase: Session.Consumer[Session.Phase] = null
    1.12 @@ -73,6 +73,7 @@
    1.13    }
    1.14  
    1.15    class Session private[Thy_Resources](
    1.16 +    session_name: String,
    1.17      session_options: Options,
    1.18      override val resources: Thy_Resources) extends isabelle.Session(session_options, resources)
    1.19    {
    1.20 @@ -80,6 +81,8 @@
    1.21  
    1.22      val tmp_dir: JFile = Isabelle_System.tmp_dir("server_session")
    1.23  
    1.24 +    override def toString: String = session_name
    1.25 +
    1.26      override def stop(): Process_Result =
    1.27      {
    1.28        try { super.stop() }