On Wednesday, November 16, 2011 08:10:57 AM Adam Chlipala wrote:
> James Parker wrote:
> > Sorry for taking so long to get back to you. Yes, it now parses and
> > compiles "©". The only thing is Firefox 8 (OS X 10.7) adds an
> > extra character before the copyright symbol. I have attached a
> > screenshot.
> Weird. Works fine in Chrome and Opera. Right now, I'm compiling the
> character entities into normal UTF-8, but perhaps it's necessary to
> output them as character entities. I'll look into it soon. Thanks for
> the bug report!
>
Attached patch including the character encoding with the response mime type
seems to work for Firefox.
> _______________________________________________
> Ur mailing list
> [email protected]
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1321467682 16200
# Node ID 3e24c24a25004b5f8d73ee964d8b815a675ba091
# Parent 7862f89674b909575a00c81c0d54a3acc367cafb
Include character encoding in HTTP response headers.
diff -r 7862f89674b9 -r 3e24c24a2500 src/cjr_print.sml
--- a/src/cjr_print.sml Mon Nov 14 11:56:30 2011 -0430
+++ b/src/cjr_print.sml Wed Nov 16 13:51:22 2011 -0430
@@ -2814,7 +2814,7 @@
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,
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
