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

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();