+ setenv UWOBO_PORT 58080
+ setenv UWOBO_LOG_FILE /projects/helm/log/uwobo
+ setenv HTTP_GETTER_PORT 58081
+ 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/graphs/tools
+ setenv HELM_UWOBO_URL http://mowgli.cs.unibo.it:$UWOBO_PORT/