]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/utils.js
Many modifications to avoid JavaScript security rules of
[helm.git] / helm / on-line / javascript / utils.js
index 1b637dcf484555435f449e4625f4a699f85662e0..d7903ef6226d0cccfe9628751b2e6b20de5f0eb7 100644 (file)
@@ -35,10 +35,8 @@ function extractParam(url,name)
   return value;
 }
 
-function getParam(name)
+function getParam0(search,name)
 {
-  var search = location.search;
-  search = search.slice(1);
   var args = search.split("&");
   var value = "???";
 
@@ -52,6 +50,23 @@ function getParam(name)
   return value;
 }
 
+function getParam(name)
+{
+  return getParam0(location.search.slice(1),name);
+}
+
+function getParam2(name)
+{
+  var url = unescape(getParam('xmluri'));
+  var tmp = url.split("?");
+
+  if (tmp.length > 1)
+     return getParam0(tmp[1],name);
+  else
+     return getDefaultParam(name);
+}
+
+
 function outputOption(doc, value, content, selected)
 {
   doc.write("<option value=\"" + value + "\" ");