add new config parameter: Mir.DefaultHTMLCharset . It allows us to set the charset...

diff --git a/source/config.properties-dist b/source/config.properties-dist
index dcb56bf..974c7b0 100755 (executable)
--- a/source/config.properties-dist
+++ b/source/config.properties-dist
@@ -207,8 +207,11 @@ Entity.Logfile=log/dbentity.log
 # don't change this unless you really know your i18n.
 # The default encoding charset used in the written html files as well
 # as the dynamic output html.
-# also used for the HTML charset meta tag.
 Mir.DefaultEncoding=ISO8859_1
+# this encoding is used for the HTML charset meta tag.
+# it must be the html charset equivalent of the Java encoding above
+# don't change this unless...
+Mir.DefaultHTMLCharset=ISO-8859-1
 Mir.Logfile=log/mir.log
 Mir.ErrorTemplate=error.template
 Mir.UserErrorTemplate=usererror.template