X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Futils.js;h=feab364de235d77bd30d79ca59974bd9b8c8ae5c;hb=3924d3a11a488176c28af5e82ee3810d9a6350ed;hp=7a52b7cbe6d491200ae44cffdede8665ada7ff7f;hpb=a3e1fdeba3b71604dc8adaa3c06e4cece00ea1c9;p=helm.git

diff --git a/helm/on-line/javascript/utils.js b/helm/on-line/javascript/utils.js
index 7a52b7cbe..feab364de 100644
--- a/helm/on-line/javascript/utils.js
+++ b/helm/on-line/javascript/utils.js
@@ -3,6 +3,37 @@ function chopSlash(url)
   return url.slice(0,url.lastIndexOf('/'));
 }
 
+function setParam(url,name,value)
+{
+  var urla = url.split("?");
+  var search = urla[1];
+  var args = search.split("&");
+
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] == name) args[i] = name + "=" + value;
+  }
+
+
+  return (urla[0] + "?" + args.join("&"));
+}
+
+function extractParam(url,name)
+{
+  var search = url.split("?")[1];
+  var args = search.split("&");
+  var value = "???";
+
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] == name) value = couple[1];
+  }
+
+  if (value == "???") value = getDefaultParam(name);
+
+  return value;
+}
+
 function getParam(name)
 {
   var search = location.search;