X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fprelude.js;h=83cff42bc5d2541db61bc284aaff3a50a0166093;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=f319735038448a6d956367e7a2eaba9871329d13;hpb=de7919bc2f1c068734c6760af0cb44c6d7022804;p=helm.git

diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index f31973503..83cff42bc 100644
--- a/helm/on-line/javascript/prelude.js
+++ b/helm/on-line/javascript/prelude.js
@@ -27,6 +27,21 @@ function getInitialGetterURL()
   return getterURL;
 }
 
+function getInitialProofCheckerURL()
+{
+  var search = top.location.search;
+  search = search.slice(1);
+  var args = search.split("&");
+  var proofcheckerURL = "-1";
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] == "proofcheckerURL") proofcheckerURL = couple[1];
+  }
+  if (proofcheckerURL == "-1")
+     proofcheckerURL = getDefaultParam("proofcheckerURL");
+  return proofcheckerURL;
+}
+
 function getInitialDrawGraphURL()
 {
   var search = top.location.search;
@@ -95,6 +110,11 @@ function getGetterURL()
   return document.getterURL.elements[0].value;
 }
 
+function getProofCheckerURL()
+{
+  return document.proofcheckerURL.elements[0].value;
+}
+
 function getDrawGraphURL()
 {
   return document.draw_graphURL.elements[0].value;
@@ -166,6 +186,7 @@ function refreshLinks()
        "&mode=" + mode +
        "&processorURL=" + getUwoboURL() +
        "&getterURL=" + getGetterURL() +
+       "&proofcheckerURL=" + getProofCheckerURL() +
        "&draw_graphURL=" + getDrawGraphURL() +
        "&uri_set_queueURL=" + getURISetQueueURL() +
        "&UNICODEvsSYMBOL=" + getUNICODEvsSYMBOL()
@@ -177,7 +198,7 @@ function selectUwoboURL(ss)
   if (ss.selectedIndex == 0) {
     document.uwoboURL.elements[0].value = "";
   } else {
-    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
+    document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/helm/servlet/uwobo/";
   }
 
   refreshLinks();
@@ -188,7 +209,18 @@ function selectGetterURL(ss)
   if (ss.selectedIndex == 0) {
     document.getterURL.elements[0].value = "";
   } else {
-    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
+    document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48081/";
+  }
+
+  refreshLinks();
+}
+
+function selectProofCheckerURL(ss)
+{
+  if (ss.selectedIndex == 0) {
+    document.proofcheckerURL.elements[0].value = "";
+  } else {
+    document.proofcheckerURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48084/";
   }
 
   refreshLinks();
@@ -199,7 +231,7 @@ function selectDrawGraphURL(ss)
   if (ss.selectedIndex == 0) {
     document.draw_graphURL.elements[0].value = "";
   } else {
-    document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8083/";
+    document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48083/";
   }
 
   refreshLinks();
@@ -210,7 +242,7 @@ function selectURISetQueueURL(ss)
   if (ss.selectedIndex == 0) {
     document.uri_set_queueURL.elements[0].value = "";
   } else {
-    document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8084/";
+    document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48082/";
   }
 
   refreshLinks();