fix bug where Mir.DefaultEncoding (the java one) was being sent out int the content...

diff --git a/source/Mir.java b/source/Mir.java
index 8548153..6e3dc01 100755 (executable)
--- 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);