New queries added:

[helm.git] / helm / searchEngine / html / index.html

diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html
index 879bdd646380e0807e17e3d51b891f920502aa4d..1db28890a54639ff0137427063b1998da1ff27fb 100644 (file)
--- a/helm/searchEngine/html/index.html
+++ b/helm/searchEngine/html/index.html
@@ -42,9 +42,58 @@ function initialize()
        actinput=0;
        numeroazioniannullate=0;
        }
+
+// @variable@ will be substituted by the searchEngine with the param.variable
+// argument value
+var processorURL="@processorURL@";
+var getterURL="@getterURL@";
+var thkeys="@thkeys@";
+var proofcheckerURL="@proofcheckerURL@";
+var draw_graphURL="@draw_graphURL@";
+var uri_set_queueURL="@uri_set_queueURL@";
+var UNICODEvsSYMBOL="@UNICODEvsSYMBOL@";
+var keys="@keys@";
+var thkeys="@thkeys@";
+var embedkeys="@embedkeys@";
+var doctype_public="@doctype-public@";
+var encoding="@encoding@";
+var thencoding="@thencoding@";
+var media_type="@media-type@";
+var thmedia_type="@thmedia-type@";
+var interfaceURL="@interfaceURL@";
+var thinterfaceURL="@thinterfaceURL@";
+var CICURI="@CICURI@";
+var naturalLanguage="@naturalLanguage@";
+var annotations="@annotations@";
+var interface_topurl="@topurl@";
+
 function ask_uwobo(url)
        {
-         return (top.topurl+"/ask_uwobo?url="+escape("http://mowgli.cs.unibo.it:58080/apply?xmluri=" + escape(url) + "&keys=T1%2CT2%2CL%2CE&param.processorURL=http%3A//mowgli.cs.unibo.it%3A58080/&param.getterURL=http%3A//mowgli.cs.unibo.it%3A58081/&param.proofcheckerURL=http%3A//mowgli.cs.unibo.it%3A58084/&param.draw_graphURL=http%3A//mowgli.cs.unibo.it%3A58083/&param.uri_set_queueURL=http%3A//mowgli.cs.unibo.it%3A58082/&param.UNICODEvsSYMBOL=unicode&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.interfaceURL=http%3A//helm.cs.unibo.it/helm/html/cic/index.html&param.thinterfaceURL=http%3A//helm.cs.unibo.it/helm/html/theory/index.html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&param.topurl=http://helm.cs.unibo.it/helm&prop.method=html"));
+         return (top.topurl+"/ask_uwobo?url="+
+                 escape(processorURL + "apply?" +
+                         "xmluri=" + escape(url) +
+                         "&keys=" + escape(thkeys) +
+                         "&param.processorURL=" + escape(processorURL) +
+                         "&param.getterURL=" + escape(getterURL) +
+                         "&param.proofcheckerURL=" + escape(proofcheckerURL) +
+                         "&param.draw_graphURL=" + escape(draw_graphURL) +
+                         "&param.uri_set_queueURL=" + escape(uri_set_queueURL) +
+                         "&param.UNICODEvsSYMBOL=" + escape(UNICODEvsSYMBOL) +
+                         "&param.keys=" + escape(keys) +
+                         "&param.thkeys=" + escape(thkeys) +
+                         "&param.embedkeys=" + escape(embedkeys) +
+                         "&param.doctype-public=" + escape(doctype_public) +
+                         "&param.encoding=" + escape(encoding) +
+                         "&param.thencoding=" + escape(thencoding) +
+                         "&param.media-type=" + escape(media_type) +
+                         "&param.thmedia-type=" + escape(thmedia_type) +
+                         "&param.interfaceURL=" + escape(interfaceURL) +
+                         "&param.thinterfaceURL=" + escape(thinterfaceURL) +
+                         "&param.CICURI=" + escape(CICURI) +
+                         "&param.naturalLanguage=" + escape(naturalLanguage) +
+                         "&param.annotations=" + escape(annotations) +
+                         "&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.  
        {
@@ -398,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="";
 
@@ -432,7 +485,7 @@ function templateambigpdq1_listauri(document,elenco)
 function templateambigpdq1_invia(document,top,elenco,ident)
        {
        vecchiavlds=top.vlds.length;
-       stringa=top.topurl+"/searchPattern?term="+top.terminecic;
+       stringa=top.topurl+"/"+top.current_query+"?term="+top.terminecic;
        stringa=stringa+"&aliases="+top.listaliases;
        stringa=stringa+"&choices=";
         var choices = "";
@@ -497,7 +550,7 @@ function templateambigpdq2_listainterpretazioni(document,elenco,labels)
 
 function templateambigpdq2_invia(document,elenco)
        {
-       stringa=top.topurl+"/searchPattern?term="+top.terminecic;
+       stringa=top.topurl+"/"+top.current_query+"?term="+top.terminecic;
        stringa=stringa+"&aliases="+(top.listaliases==""?"":"%20");
        controllo=stringa.length;
        for (j=0;j<elenco.length;j++)