# HG changeset patch
# User wenzelm
# Date 1398464426 -7200
# Node ID 9923e362789c2d045ba7ade79067d936fd352132
# Parent  6ca87a061740503b6f5bf9ab124d24ce40962728
tuned -- potentially more robust;

diff -r 6ca87a061740 -r 9923e362789c src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Fri Apr 25 23:47:39 2014 +0200
+++ b/src/Pure/PIDE/session.scala	Sat Apr 26 00:20:26 2014 +0200
@@ -464,9 +464,9 @@
               phase = Session.Ready
 
             case Markup.Return_Code(rc) if output.is_exit =>
-              prover = None
               if (rc == 0) phase = Session.Inactive
               else phase = Session.Failed
+              prover = None
 
             case _ => raw_output_messages.post(output)
           }