small bugfix

diff --git a/source/mir/util/HTTPRequestParser.java b/source/mir/util/HTTPRequestParser.java
index 130f2e0..a5fd1ac 100755 (executable)
--- a/source/mir/util/HTTPRequestParser.java
+++ b/source/mir/util/HTTPRequestParser.java
@@ -30,7 +30,7 @@ public class HTTPRequestParser {
     try {\r
       String result = request.getParameter(aName);\r
 \r
-      if (result != null && !encoding.equals(request.getCharacterEncoding())) {\r
+      if (result != null && encoding!=null && !encoding.equals(request.getCharacterEncoding())) {\r
         System.out.println("recoding");\r
         result = new String(result.getBytes(request.getCharacterEncoding()), encoding);\r
       }\r