From 91cdda53e51d5dfbd921e7effbe9f87f2055ce5c Mon Sep 17 00:00:00 2001
From: mh <mh>
Date: Tue, 10 Dec 2002 21:13:58 +0000
Subject: [PATCH] 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     | 4 ++--
 source/OpenMir.java | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/Mir.java b/source/Mir.java
index 6e3dc018..12991310 100755
--- a/source/Mir.java
+++ b/source/Mir.java
@@ -57,8 +57,8 @@ import java.util.Locale;
 /**
  * Mir.java - main servlet, that dispatches to servletmodules
  *
- * @author $Author: mh $
- * @version $Revision: 1.17.2.5 $ $Date: 2002/12/10 21:10:16 $
+ * @author RK, mir-coders
+ * @version $Id: Mir.java,v 1.17.2.6 2002/12/10 21:13:58 mh Exp $
  *
  */
 
diff --git a/source/OpenMir.java b/source/OpenMir.java
index 291bdc4e..66896c07 100755
--- a/source/OpenMir.java
+++ b/source/OpenMir.java
@@ -94,7 +94,7 @@ public class OpenMir extends AbstractServlet {
     setNoCaching(res);
 
     res.setContentType("text/html; charset="
-                      +MirConfig.getProp("Mir.DefaultEncoding"));
+                      +MirConfig.getProp("Mir.DefaultHTMLCharset"));
     try {
       ServletModuleDispatch.dispatch(ServletModuleOpenIndy.getInstance(),req,res);
     }
-- 
2.11.0