# HG changeset patch # User Adam Chlipala # Date 1242493852 14400 # Node ID 10fe57e4a8c2afe86dff5809b3600367c79c10b4 # Parent 152b61b2901a45d562e0dc8ce39721d4bcdfcd2a Add extra XML preamble nonsense diff -r 152b61b2901a -r 10fe57e4a8c2 src/cjr_print.sml --- a/src/cjr_print.sml Sat May 16 12:47:01 2009 -0400 +++ b/src/cjr_print.sml Sat May 16 13:10:52 2009 -0400 @@ -2829,7 +2829,7 @@ newline, string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");", newline, - string "uw_write(ctx, \"\\n\");", + string "uw_write(ctx, begin_xhtml);", newline, string "uw_set_script_header(ctx, \"", string (case side of @@ -3228,6 +3228,11 @@ string "\"", newline, newline, + + string "static const char begin_xhtml[] = \"\\n\\n\";", + newline, + newline, + p_list_sep newline (fn x => x) pds, newline, string "int uw_inputs_len = ",