From: Claudio Sacerdoti Coen Date: Mon, 16 Feb 2004 22:59:57 +0000 (+0000) Subject: More daemons ported to Helm_registry. X-Git-Tag: v0_0_4~180 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ca5e7b2095256b1ee99acf6bac3c8f7f55d78255;p=helm.git More daemons ported to Helm_registry. --- diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index e5395b142..71cafdd7e 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -28,10 +28,7 @@ setenv HELM_STYLE_DIR $HELMROOT/$COQV/style setenv HELM_LIB_DIR $HELMROOT/$COQV/$WHERE/local/lib/helm setenv HELM_ANNOTATIONS_DIR pippo setenv HELM_ANNOTATIONS_URL pippo -setenv URI_SET_QUEUE_PORT 58082 -setenv DRAW_GRAPH_PORT 58083 setenv SEARCH_ENGINE_PORT 58085 -setenv DRAW_GRAPH_DIR /projects/helm/daemons/graphs/tools setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/searchEngine/html echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc index 58a1f2ebb..76a5ce7d8 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -28,10 +28,7 @@ export HELM_STYLE_DIR=$HELMROOT/$COQV/style export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm export HELM_ANNOTATIONS_DIR=pippo export HELM_ANNOTATIONS_URL=pippo -export URI_SET_QUEUE_PORT=58082 -export DRAW_GRAPH_PORT=58083 export SEARCH_ENGINE_PORT=58085 -export DRAW_GRAPH_DIR=/projects/helm/daemons/graphs/tools export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR