fix bug where Mir.DefaultEncoding (the java one) was being sent out int the content...
authormh <mh>
Tue, 10 Dec 2002 21:10:16 +0000 (21:10 +0000)
committermh <mh>
Tue, 10 Dec 2002 21:10:16 +0000 (21:10 +0000)
commit22d4a758de512c32e40492713b2992c863e7db86
tree50235606b931825a44e5be37cafec6b00a62ca14
parent86c39ac8c4ad1c0249b1f0a4a392dc181a59e009
fix bug where Mir.DefaultEncoding (the java one) was being sent out int the content-type header instead of HTML encoding. use Mir.DefaultHTMLCharset instead
source/Mir.java