From 936c8f34a471e6a690607f81bce88fc2bc0fff17 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 8 Oct 2002 09:34:20 +0000 Subject: [PATCH] URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added --- helm/scripts/template.cshrc | 6 ++++++ helm/scripts/template.rc | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index 3a35c0c09..7708d0460 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -49,7 +49,13 @@ setenv HTTP_GETTER_RDF_DBM $HELMROOT/shared/$COQV/rdf_urls_of_uris.db setenv HTTP_GETTER_XSLT_DBM $HELMROOT/shared/$COQV/xslt_urls_of_uris.db 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 HTTP_GETTER_PORT 48081 +setenv URI_SET_QUEUE_PORT 48082 +setenv DRAW_GRAPH_PORT 48083 +setenv PROOF_CHECKER_PORT 48084 +setenv HELM_GETTER_URL http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/ if ($COQV == V7) then setenv HTTP_GETTER_DTD_BASE_URL http://www.cs.unibo.it/helm/dtd else diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc index fa7443c44..96c59628a 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -41,7 +41,13 @@ export HTTP_GETTER_RDF_DBM=$HELMROOT/shared/$COQV/rdf_urls_of_uris.db export HTTP_GETTER_XSLT_DBM=$HELMROOT/shared/$COQV/xslt_urls_of_uris.db 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 HTTP_GETTER_PORT=48081 +export URI_SET_QUEUE_PORT=48082 +export DRAW_GRAPH_PORT=48083 +export PROOF_CHECKER_PORT=48084 +export HELM_GETTER_URL=http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/ if test $COQV = V7; then export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd else -- 2.39.2