From ff8034c074f571e60f393402ac4faef9dd572922 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 22 Nov 2002 13:46:41 +0000 Subject: [PATCH] - added var SEARCH_ENGINE_PORT --- helm/scripts/template.cshrc | 10 ++++++---- helm/scripts/template.rc | 10 ++++++---- 2 files changed, 12 insertions(+), 8 deletions(-) diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index ecf8b23ac..42fc872c7 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -54,20 +54,22 @@ setenv HELM_ANNOTATIONS_URL pippo setenv UWOBO_PORT 8081 setenv UWOBO_PANEL_CONF /projects/helm/public_html/uwobo/panel/control.html if ($COQV == V7) then + setenv HTTP_GETTER_PORT 48081 setenv URI_SET_QUEUE_PORT 48082 setenv DRAW_GRAPH_PORT 48083 - setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools setenv PROOF_CHECKER_PORT 48084 - setenv HTTP_GETTER_PORT 48081 + setenv SEARCH_ENGINE_PORT 48085 + setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/ setenv HTTP_GETTER_DTD_BASE_URL http://www.cs.unibo.it/helm/dtd else # V7_mowgli + setenv HTTP_GETTER_PORT 58081 setenv URI_SET_QUEUE_PORT 58082 setenv DRAW_GRAPH_PORT 58083 - setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools setenv PROOF_CHECKER_PORT 58084 - setenv HTTP_GETTER_PORT 58081 + setenv SEARCH_ENGINE_PORT 58085 + setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/mowgli/servlet/uwobo/ setenv HTTP_GETTER_DTD_BASE_URL http://mowgli.cs.unibo.it/dtd endif diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc index 2b0d635ca..ea39db1c9 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -46,20 +46,22 @@ export HELM_ANNOTATIONS_URL=pippo export UWOBO_PORT=8081 export UWOBO_PANEL_CONF=/projects/helm/public_html/uwobo/panel/control.html if test $COQV = V7; then + export HTTP_GETTER_PORT=48081 export URI_SET_QUEUE_PORT=48082 export DRAW_GRAPH_PORT=48083 - export DRAW_GRAPH_DIR=/projects/helm/graphs/tools export PROOF_CHECKER_PORT=48084 - export HTTP_GETTER_PORT=48081 + export SEARCH_ENGINE_PORT=48085 + export DRAW_GRAPH_DIR=/projects/helm/graphs/tools export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/ export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd else # V7_mowgli + export HTTP_GETTER_PORT=58081 export URI_SET_QUEUE_PORT=58082 export DRAW_GRAPH_PORT=58083 - export DRAW_GRAPH_DIR=/projects/helm/graphs/tools export PROOF_CHECKER_PORT=58084 - export HTTP_GETTER_PORT=58081 + export SEARCH_ENGINE_PORT=58085 + export DRAW_GRAPH_DIR=/projects/helm/graphs/tools export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/mowgli/servlet/uwobo/ export HTTP_GETTER_DTD_BASE_URL=http://mowgli.cs.unibo.it/dtd fi -- 2.39.2