src/Pure/System/isabelle_process.scala
changeset 39439 1c294d150ded
parent 38636 b7647ca7de5a
child 39513 fce2202892c4
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Sep 16 15:37:12 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Fri Sep 17 15:51:11 2010 +0200
     1.3 @@ -100,7 +100,8 @@
     1.4      if (pid.isEmpty && kind == Markup.INIT)
     1.5        pid = props.find(_._1 == Markup.PID).map(_._1)
     1.6  
     1.7 -    xml_cache.cache_tree(XML.Elem(Markup(kind, props), body))((message: XML.Tree) =>
     1.8 +    val msg = XML.Elem(Markup(kind, props), Isar_Document.clean_message(body))
     1.9 +    xml_cache.cache_tree(msg)((message: XML.Tree) =>
    1.10        receiver ! new Result(message.asInstanceOf[XML.Elem]))
    1.11    }
    1.12