Mercurial > urweb
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, |