added some producer variables

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

diff --git a/source/mir/util/URLBuilder.java b/source/mir/util/URLBuilder.java
index 940d3bc..ecb1ef3 100755 (executable)
--- a/source/mir/util/URLBuilder.java
+++ b/source/mir/util/URLBuilder.java
@@ -1,6 +1,37 @@
+/*
+ * Copyright (C) 2001, 2002 The Mir-coders group
+ *
+ * This file is part of Mir.
+ *
+ * Mir is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * Mir is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mir; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ *
+ * In addition, as a special exception, The Mir-coders gives permission to link
+ * the code of this program with  any library licensed under the Apache Software License, 
+ * The Sun (tm) Java Advanced Imaging library (JAI), The Sun JIMI library 
+ * (or with modified versions of the above that use the same license as the above), 
+ * and distribute linked combinations including the two.  You must obey the 
+ * GNU General Public License in all respects for all of the code used other than 
+ * the above mentioned libraries.  If you modify this file, you may extend this 
+ * exception to your version of the file, but you are not obligated to do so.  
+ * If you do not wish to do so, delete this exception statement from your version.
+ */
 package mir.util;
 
-import java.util.*;
+import java.util.HashMap;
+import java.util.Iterator;
+import java.util.Map;
 
 public class URLBuilder {
   private Map keyValues;
@@ -16,7 +47,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) {