From 4751d38f61dca7f52226aaa840255912d161f116 Mon Sep 17 00:00:00 2001
From: zapata <zapata>
Date: Sat, 15 Mar 2003 16:16:12 +0000
Subject: [PATCH] removed an JDK 1.3 incompatibility problem with URLEncoder

---
 source/mir/util/HTMLRoutines.java | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/source/mir/util/HTMLRoutines.java b/source/mir/util/HTMLRoutines.java
index ee23557a..3e4c583e 100755
--- a/source/mir/util/HTMLRoutines.java
+++ b/source/mir/util/HTMLRoutines.java
@@ -39,9 +39,18 @@ public class HTMLRoutines {
     return URLEncoder.encode(aString);
   }
 
+  /**
+   *
+   *
+   * @param aString
+   * @param anEncoding the encoding to use (Note: JDK 1.3 does not seem to support custom
+   *             encodings, so this parameter is ignored for now)
+   * @return
+   */
+
   public static String encodeURL(String aString, String anEncoding) {
     try {
-      return URLEncoder.encode(aString, anEncoding);
+      return URLEncoder.encode(aString);
     }
     catch (Throwable t) {
       throw new RuntimeException(t.getMessage());
-- 
2.11.0