X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Futils.js;h=42599f7e8462bf17553b8513994a55e320f678fe;hb=de7919bc2f1c068734c6760af0cb44c6d7022804;hp=d7903ef6226d0cccfe9628751b2e6b20de5f0eb7;hpb=a43a64a7df7a4da719793f6d39f068a4b187e86b;p=helm.git

diff --git a/helm/on-line/javascript/utils.js b/helm/on-line/javascript/utils.js
index d7903ef62..42599f7e8 100644
--- a/helm/on-line/javascript/utils.js
+++ b/helm/on-line/javascript/utils.js
@@ -8,14 +8,17 @@ function setParam(url,name,value)
   var urla = url.split("?");
   var search = urla[1];
   var args = search.split("&");
+  var found = false;
 
   for (var i = 0 ; i < args.length ; i++) {
      var couple = args[i].split("=");
-     if (couple[0] == name) args[i] = name + "=" + value;
+     if (couple[0] == name) {
+        found = true;
+        args[i] = name + "=" + value;
+     }
   }
 
-
-  return (urla[0] + "?" + args.join("&"));
+  return (urla[0] + "?" + args.join("&") + (found ? "" : ("&" + name + "=" + value)));
 }
 
 function extractParam(url,name)