comparison src/cjr_print.sml @ 599:889dc9fceb3a

Use header to set default script type
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Jan 2009 10:22:19 -0500
parents 162d5308e34f
children 330a7de47914
comparison
equal deleted inserted replaced
598:4c2c740c6931 599:889dc9fceb3a
2052 newline, 2052 newline,
2053 string "if (*request == '/') ++request;", 2053 string "if (*request == '/') ++request;",
2054 newline, 2054 newline,
2055 string "uw_write_header(ctx, \"Content-type: text/html\\r\\n\");", 2055 string "uw_write_header(ctx, \"Content-type: text/html\\r\\n\");",
2056 newline, 2056 newline,
2057 string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");",
2058 newline,
2057 string "uw_write(ctx, \"<html>\");", 2059 string "uw_write(ctx, \"<html>\");",
2058 newline, 2060 newline,
2059 box [string "{", 2061 box [string "{",
2060 newline, 2062 newline,
2061 box (ListUtil.mapi (fn (i, t) => box [p_typ env t, 2063 box (ListUtil.mapi (fn (i, t) => box [p_typ env t,