src/Pure/PIDE/session.scala
changeset 56713 3438dfba58fe
parent 56712 c7cf653228ed
child 56715 52125652e82a
     1.1 --- a/src/Pure/PIDE/session.scala	Fri Apr 25 10:51:57 2014 +0200
     1.2 +++ b/src/Pure/PIDE/session.scala	Fri Apr 25 11:09:59 2014 +0200
     1.3 @@ -403,7 +403,7 @@
     1.4        def bad_output()
     1.5        {
     1.6          if (verbose)
     1.7 -          System.err.println("Ignoring prover output: " + output.message.toString)
     1.8 +          System.err.println("Ignoring bad prover output: " + output.message.toString)
     1.9        }
    1.10  
    1.11        def accumulate(state_id: Document_ID.Generic, message: XML.Elem)
    1.12 @@ -475,6 +475,7 @@
    1.13                phase = Session.Ready
    1.14  
    1.15              case Markup.Return_Code(rc) if output.is_exit =>
    1.16 +              prover = None
    1.17                if (rc == 0) phase = Session.Inactive
    1.18                else phase = Session.Failed
    1.19  
    1.20 @@ -504,8 +505,6 @@
    1.21                global_state.change(_ => Document.State.init)  // FIXME event bus!?
    1.22                phase = Session.Shutdown
    1.23                prover.get.terminate
    1.24 -              prover = None
    1.25 -              phase = Session.Inactive
    1.26              }
    1.27  
    1.28            case Update_Options(options) =>