Only V7_mowgli left.

[helm.git] / helm / scripts / template.rc

diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc
index 2b05d7423950fcf06ac393434fcd12422eede29a..629ce1c22c4326600729db37310b2024b8bb5bd5 100644 (file)
--- a/helm/scripts/template.rc
+++ b/helm/scripts/template.rc
@@ -44,18 +44,7 @@ export HTTP_GETTER_XSLT_INDEXNAME=xslt_index.txt
 export HELM_ANNOTATIONS_DIR=pippo
 export HELM_ANNOTATIONS_URL=pippo
 export UWOBO_PANEL_CONF=/projects/helm/public_html/uwobo/panel/control.html
-if test  $COQV = V7; then
-       export UWOBO_PORT=8081
-       export HTTP_GETTER_PORT=48081
-       export URI_SET_QUEUE_PORT=48082
-       export DRAW_GRAPH_PORT=48083
-       export PROOF_CHECKER_PORT=48084
-       export SEARCH_ENGINE_PORT=48085
-       export DRAW_GRAPH_DIR=/projects/helm/graphs/tools
-       export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/
-       export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd
-else
-       # V7_mowgli
+if test  $COQV = V7_mowgli; then
        export UWOBO_PORT=58080
        export UWOBO_LOG_FILE=/projects/helm/log/uwobo
        export HTTP_GETTER_PORT=58081
@@ -63,9 +52,11 @@ else
        export DRAW_GRAPH_PORT=58083
        export PROOF_CHECKER_PORT=58084
        export SEARCH_ENGINE_PORT=58085
-       export DRAW_GRAPH_DIR=/projects/helm/graphs/tools
+       export DRAW_GRAPH_DIR=/projects/helm/daemons/graphs/tools
        export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/
        export HTTP_GETTER_DTD_BASE_URL=http://mowgli.cs.unibo.it/dtd
+else
+  echo "Error: Version $COQV not recognized"
 fi
 export HELM_GETTER_URL=http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/
 export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html