src/Pure/PIDE/batch_session.scala
changeset 59367 6193bbbbe564
parent 59366 e94df7f6b608
child 59369 7090199d3f78
     1.1 --- a/src/Pure/PIDE/batch_session.scala	Wed Jan 14 16:27:19 2015 +0100
     1.2 +++ b/src/Pure/PIDE/batch_session.scala	Wed Jan 14 17:24:55 2015 +0100
     1.3 @@ -43,10 +43,12 @@
     1.4  
     1.5      val prover_session = new Session(resources)
     1.6  
     1.7 +    val handler = new Build.Handler(progress, session)
     1.8 +
     1.9      prover_session.phase_changed +=
    1.10        Session.Consumer[Session.Phase](getClass.getName) {
    1.11          case Session.Ready =>
    1.12 -          prover_session.add_protocol_handler(Build.handler_name)
    1.13 +          prover_session.add_protocol_handler(handler)
    1.14            val master_dir = session_info.dir
    1.15            val theories = session_info.theories.map({ case (_, opts, thys) => (opts, thys) })
    1.16            build_theories_result =
    1.17 @@ -58,16 +60,6 @@
    1.18          case _ =>
    1.19        }
    1.20  
    1.21 -    prover_session.all_messages +=
    1.22 -      Session.Consumer[Prover.Message](getClass.getName) {
    1.23 -        case msg: Prover.Output =>
    1.24 -          msg.properties match {
    1.25 -            case Markup.Loading_Theory(name) => progress.theory(session, name)
    1.26 -            case _ =>
    1.27 -          }
    1.28 -        case _ =>
    1.29 -      }
    1.30 -
    1.31      prover_session.start("Isabelle", List("-r", "-q", parent_session))
    1.32  
    1.33      session_result.join