Mercurial > urweb

comparison src/cjr_print.sml @ 804:10fe57e4a8c2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add extra XML preamble nonsense
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 13:10:52 -0400
parents ef6de4075dc1
children 81fce435e255
comparison
equal deleted inserted replaced
803:152b61b2901a 804:10fe57e4a8c2
2827 newline] 2827 newline]
2828 | _ => [string "uw_write_header(ctx, \"Content-type: text/html\\r\\n\");", 2828 | _ => [string "uw_write_header(ctx, \"Content-type: text/html\\r\\n\");",
2829 newline, 2829 newline,
2830 string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");", 2830 string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");",
2831 newline, 2831 newline,
2832 string "uw_write(ctx, \"<!DOCTYPE html PUBLIC \\\"-//W3C//DTD XHTML 1.0 Transitional//EN\\\" \\\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\\\">\\n<html>\");", 2832 string "uw_write(ctx, begin_xhtml);",
2833 newline, 2833 newline,
2834 string "uw_set_script_header(ctx, \"", 2834 string "uw_set_script_header(ctx, \"",
2835 string (case side of 2835 string (case side of
2836 ServerOnly => "" 2836 ServerOnly => ""
2837 | _ => "<script src=\\\"" 2837 | _ => "<script src=\\\""
3226 string (OS.Path.joinDirFile {dir = Config.includ, 3226 string (OS.Path.joinDirFile {dir = Config.includ,
3227 file = "urweb.h"}), 3227 file = "urweb.h"}),
3228 string "\"", 3228 string "\"",
3229 newline, 3229 newline,
3230 newline, 3230 newline,
3231
3232 string "static const char begin_xhtml[] = \"<?xml version=\\\"1.0\\\" encoding=\\\"utf-8\\\" ?>\\n<!DOCTYPE html PUBLIC \\\"-//W3C//DTD XHTML 1.0 Transitional//EN\\\" \\\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\\\">\\n<html xmlns=\\\"http://www.w3.org/1999/xhtml\\\" xml:lang=\\\"en\\\" lang=\\\"en\\\">\";",
3233 newline,
3234 newline,
3235
3231 p_list_sep newline (fn x => x) pds, 3236 p_list_sep newline (fn x => x) pds,
3232 newline, 3237 newline,
3233 string "int uw_inputs_len = ", 3238 string "int uw_inputs_len = ",
3234 string (Int.toString (SM.foldl Int.max 0 fnums + 1)), 3239 string (Int.toString (SM.foldl Int.max 0 fnums + 1)),
3235 string ";", 3240 string ";",