| commit | ac8bc539cec24264c066d9ac363ac757ce7526b8 | [log] [tgz] |
|---|---|---|
| author | Eric Anderson <ejona@google.com> | Fri Jul 26 12:55:51 2013 -0700 |
| committer | Eric Anderson <ejona@google.com> | Fri Jul 26 14:31:47 2013 -0700 |
| tree | 63d87ef6650091ea5ec554c2a56216441e537daa | |
| parent | 4b7e21c167c3a0ff20572fc9afada812e98cbc6f [diff] |
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.