src/Pure/System/isabelle_process.ML
changeset 38265 cc9fde54311f
parent 38259 2b61c5e27399
child 38270 71bb3c273dd1
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Aug 10 18:24:16 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Aug 10 20:13:52 2010 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4  fun message _ _ _ "" = ()
     1.5    | message out_stream ch props body =
     1.6        let
     1.7 -        val header = YXML.string_of (XML.Elem ((ch, map (pairself YXML.binary_text) props), []));
     1.8 +        val header = YXML.string_of (XML.Elem ((ch, map (pairself YXML.escape_controls) props), []));
     1.9          val msg = Symbol.STX ^ chunk header ^ chunk body;
    1.10        in TextIO.output (out_stream, msg) (*atomic output*) end;
    1.11