From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 17 Apr 2003 09:44:25 +0000 (+0000)
Subject: * topurl was re-declared and used with two different meanings ==> renamed
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9210fe493523ca431117a2f387ca57ee3e43abf0

* topurl was re-declared and used with two different meanings ==> renamed
  the first occurrence into interface_topurl
* the r.e. that extract the topurl from the URL has been fixed
---

diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html
index 7fd3824c1..9182d26a6 100644
--- a/helm/searchEngine/html/index.html
+++ b/helm/searchEngine/html/index.html
@@ -65,7 +65,7 @@ var thinterfaceURL="@thinterfaceURL@";
 var CICURI="@CICURI@";
 var naturalLanguage="@naturalLanguage@";
 var annotations="@annotations@";
-var topurl="@topurl@";
+var interface_topurl="@topurl@";
 
 function ask_uwobo(url)
        {
@@ -92,7 +92,7 @@ function ask_uwobo(url)
                          "&param.CICURI=" + escape(CICURI) +
                          "&param.naturalLanguage=" + escape(naturalLanguage) +
                          "&param.annotations=" + escape(annotations) +
-                         "&param.topurl=" + escape(topurl) +
+                         "&param.topurl=" + escape(interface_topurl) +
                          "&prop.method=html"));
        }
 function help(w) // quando invocata, visualizza l' help relativo ad un oggetto. Di solito è legata ad un evento onFocus o onMouseOver.  
@@ -447,8 +447,12 @@ function aggq() // aggiorna la query sostituendo l' ultimo link editato con la s
 	aggcw();
 	cw.focus();
 	}
-var topurl=document.location.protocol+'//'+document.location.host;
-//var topurl="";
+var re1 = /(.*)\?.*/;
+var re2 = /(.*)\/.*/;
+var topurl=document.location+"";
+topurl = topurl.replace(re1,"$1");
+topurl = topurl.replace(re2,"$1");
+//var topurl=document.location.protocol+'//'+document.location.host;
 var action="/getpage?url=";
 //var action="";