proofChecker ported to Helm_registry

diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc
index bed73a0143ca7222666a7ac370f37188ac7d75cb..e5395b14253f88978051b2343f8d15b67eeaf705 100644 (file)
--- a/helm/scripts/template.cshrc
+++ b/helm/scripts/template.cshrc
@@ -30,7 +30,6 @@ setenv HELM_ANNOTATIONS_DIR pippo
 setenv HELM_ANNOTATIONS_URL pippo
 setenv URI_SET_QUEUE_PORT 58082
 setenv DRAW_GRAPH_PORT 58083
-setenv PROOF_CHECKER_PORT 58084
 setenv SEARCH_ENGINE_PORT 58085
 setenv DRAW_GRAPH_DIR /projects/helm/daemons/graphs/tools
 setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/searchEngine/html

diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc
index 6a0e47421c46559e501a111a2288916a351d9f6c..58a1f2ebb0a2b389066feb37071f444a130e916f 100644 (file)
--- a/helm/scripts/template.rc
+++ b/helm/scripts/template.rc
@@ -30,7 +30,6 @@ 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