]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/template.cshrc
More daemons ported to Helm_registry.
[helm.git] / helm / scripts / template.cshrc
index e5395b14253f88978051b2343f8d15b67eeaf705..71cafdd7e3498f255493b053d3de33999c0e93a0 100644 (file)
@@ -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