src/Pure/System/isabelle_process.scala
changeset 39591 a43a723753e6
parent 39587 f84b70e3bb9c
child 39618 1776b55f8d7a
     1.1 --- a/src/Pure/System/isabelle_process.scala	Wed Sep 22 16:03:57 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Wed Sep 22 16:04:20 2010 +0200
     1.3 @@ -44,7 +44,11 @@
     1.4      def is_system = kind == Markup.SYSTEM
     1.5      def is_status = kind == Markup.STATUS
     1.6      def is_report = kind == Markup.REPORT
     1.7 -    def is_ready = is_status && body == List(XML.Elem(Markup.Ready, Nil))
     1.8 +    def is_ready = is_status && {
     1.9 +      body match {
    1.10 +        case List(XML.Elem(Markup(Markup.READY, _), _)) => true
    1.11 +        case _ => false
    1.12 +      }}
    1.13  
    1.14      override def toString: String =
    1.15      {