add in Mir.DefaultHTMLCharset (used to set charset in the Mir and OpenMir servlets...

diff --git a/etc/config.properties-dist b/etc/config.properties-dist
index 248d3c3..2674e98 100755 (executable)
--- a/etc/config.properties-dist
+++ b/etc/config.properties-dist
@@ -63,7 +63,9 @@ Mir.Localizer.Logfile=log/localizer.log
 Mir.Localizer.ProducerConfigFile=etc/producer/producers.xml
 
 # Settings for the admin login:
-Mir.Login.DefaultLanguage=en
+# If the default language is left empty, it will set the accept-language of
+# the client browser as the default.
+Mir.Login.DefaultLanguage=
 Mir.Login.Languages=en;nl;de;qu;tr;ay;es
 
 
@@ -247,6 +249,11 @@ Entity.Logfile=log/dbentity.log
 # 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=templates/error.template
 Mir.UserErrorTemplate=templates/usererror.template