src/Pure/System/isabelle_process.scala
changeset 44697 b99dfee76538
parent 43780 2cb2310d68b6
child 44705 089fcaf94c00
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Sep 04 08:43:06 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Sep 04 14:29:15 2011 +0200
     1.3 @@ -99,7 +99,8 @@
     1.4    {
     1.5      if (kind == Markup.INIT) rm_fifos()
     1.6      if (kind == Markup.RAW)
     1.7 -      receiver ! new Result(XML.Elem(Markup(kind, props), body))
     1.8 +      xml_cache.cache_ignore(
     1.9 +        new Result(XML.Elem(Markup(kind, props), body)))((result: Result) => receiver ! result)
    1.10      else {
    1.11        val msg = XML.Elem(Markup(kind, props), Isar_Document.clean_message(body))
    1.12        xml_cache.cache_tree(msg)((message: XML.Tree) =>