From 8c6ff8f373e6f65f553c05c93c537d3cb1670feb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 29 Jun 2001 10:09:48 +0000 Subject: [PATCH] Total compatibility with Mozilla 9.1 reached with this commit. --- helm/on-line/javascript/prelude.js | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) 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( -- 2.39.2