From 22768ba8f9d3b90daa0e1711b8703235d2733eb4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 20 Nov 2002 16:32:26 +0000 Subject: [PATCH] added env var DRAW_GRAPH_DIR --- helm/scripts/template.cshrc | 2 ++ helm/scripts/template.rc | 2 ++ 2 files changed, 4 insertions(+) diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc index 257d95d78..ecf8b23ac 100644 --- a/helm/scripts/template.cshrc +++ b/helm/scripts/template.cshrc @@ -56,6 +56,7 @@ setenv UWOBO_PANEL_CONF /projects/helm/public_html/uwobo/panel/control.html if ($COQV == V7) then setenv URI_SET_QUEUE_PORT 48082 setenv DRAW_GRAPH_PORT 48083 + setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools setenv PROOF_CHECKER_PORT 48084 setenv HTTP_GETTER_PORT 48081 setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/ @@ -64,6 +65,7 @@ else # V7_mowgli setenv URI_SET_QUEUE_PORT 58082 setenv DRAW_GRAPH_PORT 58083 + setenv DRAW_GRAPH_DIR /projects/helm/graphs/tools setenv PROOF_CHECKER_PORT 58084 setenv HTTP_GETTER_PORT 58081 setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/mowgli/servlet/uwobo/ diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc index ed6c78c95..2b0d635ca 100644 --- a/helm/scripts/template.rc +++ b/helm/scripts/template.rc @@ -48,6 +48,7 @@ export UWOBO_PANEL_CONF=/projects/helm/public_html/uwobo/panel/control.html if test $COQV = V7; then export URI_SET_QUEUE_PORT=48082 export DRAW_GRAPH_PORT=48083 + export DRAW_GRAPH_DIR=/projects/helm/graphs/tools export PROOF_CHECKER_PORT=48084 export HTTP_GETTER_PORT=48081 export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/ @@ -56,6 +57,7 @@ else # V7_mowgli export URI_SET_QUEUE_PORT=58082 export DRAW_GRAPH_PORT=58083 + export DRAW_GRAPH_DIR=/projects/helm/graphs/tools export PROOF_CHECKER_PORT=58084 export HTTP_GETTER_PORT=58081 export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/mowgli/servlet/uwobo/ -- 2.39.2