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

diff --git a/helm/on-line/javascript/utils.js b/helm/on-line/javascript/utils.js
index 42599f7e8..bb018ad0e 100644
--- a/helm/on-line/javascript/utils.js
+++ b/helm/on-line/javascript/utils.js
@@ -3,6 +3,25 @@ function chopSlash(url)
   return url.slice(0,url.lastIndexOf('/'));
 }
 
+function dropParam(url,name)
+{
+  var urla = url.split("?");
+  var search = urla[1];
+  var args = search.split("&");
+  var newargs = new Array();
+  var j = 0;
+
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] != name) {
+        newargs[j] = args[i];
+        j++;
+     }
+  }
+
+  return (urla[0] + "?" + newargs.join("&"));
+}
+
 function setParam(url,name,value)
 {
   var urla = url.split("?");