From 02f84dc4ebb39cbebcaac6d2bbbf1e8413e10aa1 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 17 Feb 2004 14:52:14 +0000 Subject: [PATCH] searchEngine ported to Helm_registry. --- helm/scripts/template.cshrc | 2 -- helm/scripts/template.rc | 2 -- 2 files changed, 4 deletions(-) diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index 71cafdd7e..3274a7725 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -28,8 +28,6 @@ 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 SEARCH_ENGINE_PORT 58085 -setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/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 76a5ce7d8..20168bb9f 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -28,8 +28,6 @@ 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 SEARCH_ENGINE_PORT=58085 -export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR echo HELM_LIB_DIR=$HELM_LIB_DIR -- 2.39.2