From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Oct 2002 09:33:09 +0000 (+0000)
Subject: Default ports changed.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=614780167379a2b7ccf287e496268534539171d2;p=helm.git

Default ports changed.
---

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index 98dfed1c2..c8f89a77e 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -6,10 +6,10 @@ function getDefaultParam(name)
     return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
   case "getterURL":
     return "http://mowgli.cs.unibo.it:48081/"; 
-  case "draw_graphURL":
-    return "http://phd.cs.unibo.it:8083/"; 
   case "uri_set_queueURL":
-    return "http://phd.cs.unibo.it:8084/"; 
+    return "http://mowgli.cs.unibo.it:48082/"; 
+  case "draw_graphURL":
+    return "http://mowgli.cs.unibo.it:48083/"; 
   case "proofcheckerURL":
     return "http://mowgli.cs.unibo.it:48084/"; 
   case "UNICODEvsSYMBOL":
diff --git a/helm/on-line/javascript/prelude.js b/helm/on-line/javascript/prelude.js
index 26bd4978b..83cff42bc 100644
--- a/helm/on-line/javascript/prelude.js
+++ b/helm/on-line/javascript/prelude.js
@@ -231,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();
@@ -242,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();