yet another nasty encoding fix

diff --git a/source/mir/util/HTTPRequestParser.java b/source/mir/util/HTTPRequestParser.java
index 55b2d00..5303102 100755 (executable)
--- a/source/mir/util/HTTPRequestParser.java
+++ b/source/mir/util/HTTPRequestParser.java
@@ -29,9 +29,12 @@ public class HTTPRequestParser {
   public String getParameter(String aName) {\r
     try {\r
       String result = request.getParameter(aName);\r
+      String requestEncoding = request.getCharacterEncoding();\r
+      if (requestEncoding==null)\r
+        requestEncoding = "ISO-8859-1";\r
 \r
-      if (result != null && encoding!=null && !encoding.equals(request.getCharacterEncoding())) {\r
-        result = new String(result.getBytes(request.getCharacterEncoding()), encoding);\r
+      if (result != null && encoding!=null && !encoding.equals(requestEncoding)) {\r
+        result = new String(result.getBytes(requestEncoding), encoding);\r
       }\r
 \r
       return result;\r