From 4d6d34c2fa9efdc0b033e2e8bdffd8492f876f57 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 7 Oct 2002 16:56:10 +0000 Subject: [PATCH] - The Getter and UWOBO moved to mowgli. - The UWOBO default port changed to 8081. - The Getter default port changed to 48081. --- helm/on-line/javascript/defaults.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js index 2174375dc..db3172cfe 100644 --- a/helm/on-line/javascript/defaults.js +++ b/helm/on-line/javascript/defaults.js @@ -3,9 +3,9 @@ function getDefaultParam(name) { switch (name) { case "processorURL": - return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/"; + return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/"; case "getterURL": - return "http://phd.cs.unibo.it:8081/"; + return "http://mowgli.cs.unibo.it:48081/"; case "draw_graphURL": return "http://phd.cs.unibo.it:8083/"; case "uri_set_queueURL": -- 2.39.2