src/Pure/System/session.scala

 
           case Markup.Return_Code(rc) if output.is_exit =>
             if (rc == 0) phase = Session.Inactive
             else phase = Session.Failed
 
-          case _ => bad_output()
+          case _ => raw_output_messages.event(output)
         }
       }
     }
     //}}}