X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Ftemplate.rc;h=76a5ce7d873bfedc52f783687e512a5043120b68;hb=ca5e7b2095256b1ee99acf6bac3c8f7f55d78255;hp=58a1f2ebb0a2b389066feb37071f444a130e916f;hpb=ebc70db9d8720a6f776e7d7c09c7833e500b9eb3;p=helm.git

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