From ed7e3e513e1992c6f9ef4b4733dc3a0b9e782af6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 16 Feb 2004 22:11:57 +0000 Subject: [PATCH] proofChecker ported to Helm_registry --- helm/scripts/template.cshrc | 1 - helm/scripts/template.rc | 1 - 2 files changed, 2 deletions(-) diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index bed73a014..e5395b142 100644 --- 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 6a0e47421..58a1f2ebb 100644 --- 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 -- 2.39.2