X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fprelude.js;h=d89ae566d333ae2b54a70c88f8adec07c2697ade;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=8c60c6c08f144bbdb4fa01603c5b12d6070d1497;hpb=fd119a9a96b5f7923e95ee93092b94a69e318299;p=helm.git

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index 8c60c6c08..d89ae566d 100644
--- a/helm/on-line/javascript/prelude.js
+++ b/helm/on-line/javascript/prelude.js
@@ -18,6 +18,11 @@ function getProofCheckerURL()
   return document.proofcheckerURL.elements[0].value;
 }
 
+function getSearchEngineURL()
+{
+  return document.searchengineURL.elements[0].value;
+}
+
 function getDrawGraphURL()
 {
   return document.draw_graphURL.elements[0].value;
@@ -66,6 +71,7 @@ function getUpdateURL()
     '&param.uri_set_queueURL=' + escape(getURISetQueueURL()) +
     '&param.draw_graphURL=' + escape(getDrawGraphURL()) +
     '&param.proofcheckerURL=' + escape(getProofCheckerURL()) +
+    '&param.searchengineURL=' + escape(getSearchEngineURL()) +
     '&param.rdflyURL=' + escape(getRdflyURL()) +
     '&param.interfaceURL=' + escape(getInterfaceURL()) +
     '&param.naturalLanguage=' + escape(getNaturalLanguage()) +
@@ -100,6 +106,15 @@ function selectProofCheckerURL(ss)
   }
 }
 
+function selectSearchEngineURL(ss)
+{
+  if (ss.selectedIndex == 0) {
+    document.searchengineURL.elements[0].value = "";
+  } else {
+    document.searchengineURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58085/";
+  }
+}
+
 function selectDrawGraphURL(ss)
 {
   if (ss.selectedIndex == 0) {