src/Pure/System/session.scala
changeset 47390 580c37559354
parent 47346 cd3ab7625519
child 47629 645163d3b964
equal deleted inserted replaced
47389:e8552cba702d 47390:580c37559354
   397           prover_syntax += name
   397           prover_syntax += name
   398 
   398 
   399         case _ =>
   399         case _ =>
   400           if (output.is_exit && phase == Session.Startup) phase = Session.Failed
   400           if (output.is_exit && phase == Session.Startup) phase = Session.Failed
   401           else if (output.is_exit) phase = Session.Inactive
   401           else if (output.is_exit) phase = Session.Inactive
   402           else if (output.is_stdout) { }
   402           else if (output.is_init || output.is_stdout) { }
   403           else bad_output(output)
   403           else bad_output(output)
   404       }
   404       }
   405     }
   405     }
   406     //}}}
   406     //}}}
   407 
   407