tuned -- potentially more robust;
authorwenzelm
Sat Apr 26 00:20:26 2014 +0200 (2014-04-26)
changeset 567359923e362789c
parent 56734 6ca87a061740
child 56736 0f5cf342961c
tuned -- potentially more robust;
src/Pure/PIDE/session.scala
     1.1 --- a/src/Pure/PIDE/session.scala	Fri Apr 25 23:47:39 2014 +0200
     1.2 +++ b/src/Pure/PIDE/session.scala	Sat Apr 26 00:20:26 2014 +0200
     1.3 @@ -464,9 +464,9 @@
     1.4                phase = Session.Ready
     1.5  
     1.6              case Markup.Return_Code(rc) if output.is_exit =>
     1.7 -              prover = None
     1.8                if (rc == 0) phase = Session.Inactive
     1.9                else phase = Session.Failed
    1.10 +              prover = None
    1.11  
    1.12              case _ => raw_output_messages.post(output)
    1.13            }