From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 10 Jun 2004 13:45:08 +0000 (+0000)
Subject: New profile param: searchengineURL
X-Git-Tag: pre_subst_in_kernel~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a4d808ae26c008ecd87c631dfb955a22e018352c;p=helm.git

New profile param: searchengineURL
---

diff --git a/helm/on-line/html/configuration.html b/helm/on-line/html/configuration.html
index 6ca9cd14a..f183ed118 100644
--- a/helm/on-line/html/configuration.html
+++ b/helm/on-line/html/configuration.html
@@ -207,6 +207,34 @@ bottom of the page.
       </form>
     </td>
   </tr>
+  <tr>
+    <th colspan="2" align="left">Search Engine URL</th>
+  </tr>
+  <tr>
+    <td>
+      <form name="searchengineURL">
+        <script>
+	  var defaultValue = '<uwobo:key name="searchengineURL"/>';
+	  document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+	</script>
+      </form>
+    </td>
+    <td>
+      <form>
+        <select onChange="selectSearchEngineURL(this)">
+	  <option value="">---</option>
+	  <option value="localhost">localhost</option>
+	  <option value="mowgli.cs.unibo.it">mowgli</option>
+	  <option value="marcello.cs.unibo.it">marcello</option>
+	</select>
+      </form>
+    </td>
+    <td>
+      <form>
+        <input type="button" value="Check" onClick="window.open(getSearchEngineURL() + 'help')"/>
+      </form>
+    </td>
+  </tr>
   <tr>
     <th colspan="2" align="left">RDFly URL</th>
   </tr>
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) {