fix bug where Mir.DefaultEncoding (the java one) was being sent out in the response...
authormh <mh>
Tue, 10 Dec 2002 21:13:58 +0000 (21:13 +0000)
committermh <mh>
Tue, 10 Dec 2002 21:13:58 +0000 (21:13 +0000)
commit91cdda53e51d5dfbd921e7effbe9f87f2055ce5c
treeaf8b3f13d23e3b7e88b6978e43220c3c5a5b2b7b
parent22d4a758de512c32e40492713b2992c863e7db86
fix bug where Mir.DefaultEncoding (the java one) was being sent out in the response content-type header instead of the HTML encoding. use Mir.DefaultHTMLCharset instead
source/Mir.java
source/OpenMir.java