From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 14:52:14 +0000 (+0000)
Subject: searchEngine ported to Helm_registry.
X-Git-Tag: v0_0_4~174
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=02f84dc4ebb39cbebcaac6d2bbbf1e8413e10aa1;p=helm.git

searchEngine ported to Helm_registry.
---

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