src/Pure/PIDE/session.scala
changeset 62556 c115e69f457f
parent 62545 8ebffdaf2ce2
child 63584 68751fe1c036
     1.1 --- a/src/Pure/PIDE/session.scala	Tue Mar 08 11:18:21 2016 +0100
     1.2 +++ b/src/Pure/PIDE/session.scala	Tue Mar 08 14:44:11 2016 +0100
     1.3 @@ -212,7 +212,7 @@
     1.4  
     1.5    /* internal messages */
     1.6  
     1.7 -  private case class Start(name: String, args: List[String])
     1.8 +  private case class Start(start_prover: Prover.Receiver => Prover)
     1.9    private case object Stop
    1.10    private case class Cancel_Exec(exec_id: Document_ID.Exec)
    1.11    private case class Protocol_Command(name: String, args: List[String])
    1.12 @@ -532,10 +532,10 @@
    1.13            case input: Prover.Input =>
    1.14              all_messages.post(input)
    1.15  
    1.16 -          case Start(name, args) if !prover.defined =>
    1.17 +          case Start(start_prover) if !prover.defined =>
    1.18              if (phase == Session.Inactive || phase == Session.Failed) {
    1.19                phase = Session.Startup
    1.20 -              prover.set(resources.start_prover(manager.send(_), name, args))
    1.21 +              prover.set(start_prover(manager.send(_)))
    1.22              }
    1.23  
    1.24            case Stop =>
    1.25 @@ -601,8 +601,8 @@
    1.26        pending_edits: List[Text.Edit] = Nil): Document.Snapshot =
    1.27      global_state.value.snapshot(name, pending_edits)
    1.28  
    1.29 -  def start(name: String, args: List[String])
    1.30 -  { manager.send(Start(name, args)) }
    1.31 +  def start(start_prover: Prover.Receiver => Prover)
    1.32 +  { manager.send(Start(start_prover)) }
    1.33  
    1.34    def stop()
    1.35    {