From 22d4a758de512c32e40492713b2992c863e7db86 Mon Sep 17 00:00:00 2001
From: mh <mh>
Date: Tue, 10 Dec 2002 21:10:16 +0000
Subject: [PATCH] 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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/Mir.java b/source/Mir.java
index 8548153a..6e3dc018 100755
--- a/source/Mir.java
+++ b/source/Mir.java
@@ -58,7 +58,7 @@ import java.util.Locale;
  * Mir.java - main servlet, that dispatches to servletmodules
  *
  * @author $Author: mh $
- * @version $Revision: 1.17.2.4 $ $Date: 2002/12/10 09:02:22 $
+ * @version $Revision: 1.17.2.5 $ $Date: 2002/12/10 21:10:16 $
  *
  */
 
@@ -104,7 +104,7 @@ public class Mir extends AbstractServlet {
         setNoCaching(res);
 
         res.setContentType("text/html; charset="
-                            +MirConfig.getProp("Mir.DefaultEncoding"));
+                            +MirConfig.getProp("Mir.DefaultHTMLCharset"));
         String moduleName = req.getParameter("module");
 
         checkLanguage(session, req);
-- 
2.11.0