# HG changeset patch # User Adam Chlipala # Date 1231687339 18000 # Node ID 889dc9fceb3a3108a507a2be72f155c0cbe9792e # Parent 4c2c740c6931eea1485f0513220aaba2d47a7e19 Use header to set default script type diff -r 4c2c740c6931 -r 889dc9fceb3a src/c/urweb.c --- a/src/c/urweb.c Sun Jan 11 10:05:06 2009 -0500 +++ b/src/c/urweb.c Sun Jan 11 10:22:19 2009 -0500 @@ -382,7 +382,7 @@ } else { char *r = uw_malloc(ctx, 41 + (ctx->script_front - ctx->script)); - sprintf(r, "", ctx->script); + sprintf(r, "", ctx->script); return r; } } diff -r 4c2c740c6931 -r 889dc9fceb3a src/cjr_print.sml --- a/src/cjr_print.sml Sun Jan 11 10:05:06 2009 -0500 +++ b/src/cjr_print.sml Sun Jan 11 10:22:19 2009 -0500 @@ -2054,6 +2054,8 @@ newline, string "uw_write_header(ctx, \"Content-type: text/html\\r\\n\");", newline, + string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");", + newline, string "uw_write(ctx, \"\");", newline, box [string "{", diff -r 4c2c740c6931 -r 889dc9fceb3a src/monoize.sml --- a/src/monoize.sml Sun Jan 11 10:05:06 2009 -0500 +++ b/src/monoize.sml Sun Jan 11 10:22:19 2009 -0500 @@ -1898,7 +1898,7 @@ e), _), _)] => (e, fm) | [("Signal", e, _)] => ((L'.EStrcat - ((L'.EPrim (Prim.String ""), loc)), loc)), loc), fm) @@ -1919,7 +1919,7 @@ loc)), loc), fm) end | SOME (_, src, _) => - (strcat [str ""], fm))