From 347a0f4a6e75a9c7dcef3c0f0da837c76c6e8890 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 15 May 2003 16:31:05 +0000 Subject: [PATCH] The semantics of the UWOBO_LOG variable has changed: the suffix ".log" should not be in there any more. --- helm/scripts/template.cshrc | 7 +++++-- helm/scripts/template.rc | 7 +++++-- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index 42fc872c7..ef0e16b00 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -51,9 +51,9 @@ setenv HTTP_GETTER_RDF_INDEXNAME rdf_index.txt setenv HTTP_GETTER_XSLT_INDEXNAME xslt_index.txt setenv HELM_ANNOTATIONS_DIR pippo 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 UWOBO_PORT 8081 setenv HTTP_GETTER_PORT 48081 setenv URI_SET_QUEUE_PORT 48082 setenv DRAW_GRAPH_PORT 48083 @@ -64,16 +64,19 @@ if ($COQV == V7) then setenv HTTP_GETTER_DTD_BASE_URL http://www.cs.unibo.it/helm/dtd else # V7_mowgli + setenv UWOBO_PORT 58080 + setenv UWOBO_LOG_FILE /projects/helm/log/uwobo setenv HTTP_GETTER_PORT 58081 setenv URI_SET_QUEUE_PORT 58082 setenv DRAW_GRAPH_PORT 58083 setenv PROOF_CHECKER_PORT 58084 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 HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/ setenv HTTP_GETTER_DTD_BASE_URL http://mowgli.cs.unibo.it/dtd endif setenv HELM_GETTER_URL http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/ +setenv SEARCH_ENGINE_HTML_DIR /projects/helm/V7_mowgli/helm/searchEngine/html echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR echo HELM_LIB_DIR=$HELM_LIB_DIR diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc index ea39db1c9..569578677 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -43,9 +43,9 @@ export HTTP_GETTER_RDF_INDEXNAME=rdf_index.txt export HTTP_GETTER_XSLT_INDEXNAME=xslt_index.txt export HELM_ANNOTATIONS_DIR=pippo 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 UWOBO_PORT=8081 export HTTP_GETTER_PORT=48081 export URI_SET_QUEUE_PORT=48082 export DRAW_GRAPH_PORT=48083 @@ -56,16 +56,19 @@ if test $COQV = V7; then export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd else # V7_mowgli + export UWOBO_PORT=58080 + export UWOBO_LOG_FILE=/projects/helm/log/uwobo export HTTP_GETTER_PORT=58081 export URI_SET_QUEUE_PORT=58082 export DRAW_GRAPH_PORT=58083 export PROOF_CHECKER_PORT=58084 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 HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/ export HTTP_GETTER_DTD_BASE_URL=http://mowgli.cs.unibo.it/dtd fi export HELM_GETTER_URL=http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/ +export SEARCH_ENGINE_HTML_DIR=/projects/helm/V7_mowgli/helm/searchEngine/html echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR echo HELM_LIB_DIR=$HELM_LIB_DIR -- 2.39.2