yet another nasty encoding fix

[mir.git] / source / mir / util / URLBuilder.java

diff --git a/source/mir/util/URLBuilder.java b/source/mir/util/URLBuilder.java
index 4dd7d18..f64fb90 100755 (executable)
--- a/source/mir/util/URLBuilder.java
+++ b/source/mir/util/URLBuilder.java
@@ -18,7 +18,10 @@ public class URLBuilder {
   }
 
   public void setValue(String aKey, String aValue) {
-    keyValues.put(aKey, aValue);
+    if (aValue!=null)
+      keyValues.put(aKey, aValue);
+    else
+      deleteKey(aKey);
   }
 
   public void setValue(String aKey, int aValue) {