tree 63d87ef6650091ea5ec554c2a56216441e537daa
parent 4b7e21c167c3a0ff20572fc9afada812e98cbc6f
author Eric Anderson <ejona@google.com> 1374868551 -0700
committer Eric Anderson <ejona@google.com> 1374874307 -0700

Fix unicode for generated HTML and GET requests

We now properly specify the charset used for HTML pages we generate. We
also workaround Java's lack of handling Unicode in URLs for GET
requests.