From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 29 Jun 2001 10:09:48 +0000 (+0000)
Subject: Total compatibility with Mozilla 9.1 reached with this commit.
X-Git-Tag: v0_1_3~124
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8c6ff8f373e6f65f553c05c93c537d3cb1670feb;p=helm.git

Total compatibility with Mozilla 9.1 reached with this commit.
---

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index 8b44e1471..69479641c 100644
--- a/helm/on-line/javascript/prelude.js
+++ b/helm/on-line/javascript/prelude.js
@@ -98,11 +98,18 @@ function refreshLinks()
   if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
   if (mode == "-1") mode = getDefaultParam("mode");
 
-  document.links[2].search = "?getterURL=" + getGetterURL();
-  
-  document.links[3].search = 
-    "?processorURL=" + getUwoboURL() +
-    "&getterURL=" + getGetterURL();
+  document.links[2].href =
+   document.links[2].protocol + '//' +
+   document.links[2].host +
+   document.links[2].pathname +
+   "?getterURL=" + getGetterURL();
+
+  document.links[3].href = 
+   document.links[3].protocol + '//' +
+   document.links[3].host +
+   document.links[3].pathname +
+   "?processorURL=" + getUwoboURL() +
+   "&getterURL=" + getGetterURL();
 
   var topurl =
    chopSlash(chopSlash(