From 614780167379a2b7ccf287e496268534539171d2 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 8 Oct 2002 09:33:09 +0000 Subject: [PATCH] Default ports changed. --- helm/on-line/javascript/defaults.js | 6 +++--- helm/on-line/javascript/prelude.js | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) 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(); -- 2.39.2