src/Pure/PIDE/session.scala
changeset 56735 9923e362789c
parent 56733 f7700146678d
child 56771 28d62a5b07e8
equal deleted inserted replaced
56734:6ca87a061740 56735:9923e362789c
   462 
   462 
   463             case _ if output.is_init =>
   463             case _ if output.is_init =>
   464               phase = Session.Ready
   464               phase = Session.Ready
   465 
   465 
   466             case Markup.Return_Code(rc) if output.is_exit =>
   466             case Markup.Return_Code(rc) if output.is_exit =>
   467               prover = None
       
   468               if (rc == 0) phase = Session.Inactive
   467               if (rc == 0) phase = Session.Inactive
   469               else phase = Session.Failed
   468               else phase = Session.Failed
       
   469               prover = None
   470 
   470 
   471             case _ => raw_output_messages.post(output)
   471             case _ => raw_output_messages.post(output)
   472           }
   472           }
   473         }
   473         }
   474     }
   474     }