summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Ron de Bruijn <rmbruijn@gmail.com>2011-11-17 17:19:10 +0100
committerGravatar Ron de Bruijn <rmbruijn@gmail.com>2011-11-17 17:19:10 +0100
commite13be030430beb6bafa1d96b1bbaf7adc728cd45 (patch)
tree0276a0a5ff633934c74a3bf32bfdcc52bbc8245c
parenta6315d55fb647ed5c7027433dd7f34bb7c867916 (diff)
parent5fb97dd85f3503abed366598d4f00396b8a23d4f (diff)
Merge
-rw-r--r--src/cjr_print.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 4e3e1570..1c809f38 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -2814,7 +2814,7 @@ fun p_file env (ds, ps) =
box (case ek of
Core.Rpc _ => [string "uw_write_header(ctx, \"Content-type: text/plain\\r\\n\");",
newline]
- | _ => [string "uw_write_header(ctx, \"Content-type: text/html\\r\\n\");",
+ | _ => [string "uw_write_header(ctx, \"Content-type: text/html; charset=utf-8\\r\\n\");",
newline,
string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");",
newline,