searchEngine ported to Helm_registry.

[helm.git] / helm / scripts / template.rc

diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc
index 6a0e47421c46559e501a111a2288916a351d9f6c..20168bb9f459d207550cf579c30bb0edeb260005 100644 (file)
--- a/helm/scripts/template.rc
+++ b/helm/scripts/template.rc
@@ -28,12 +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 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/daemons/graphs/tools
-export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html
 
 echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
 echo HELM_LIB_DIR=$HELM_LIB_DIR