]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/template.cshrc
/projects/helm/log moved to /var/log/mowgli
[helm.git] / helm / scripts / template.cshrc
index 7cba3740b156e34b7bc5b4427ab3647c536e0cce..d2a2c871f96801729e2e5d8a43f92d72ac0f5441 100644 (file)
@@ -35,7 +35,7 @@ setenv HELM_ANNOTATIONS_DIR pippo
 setenv HELM_ANNOTATIONS_URL pippo
 setenv UWOBO_PANEL_CONF /projects/helm/public_html/uwobo/panel/control.html
 setenv UWOBO_PORT 58080
-setenv UWOBO_LOG_FILE /projects/helm/log/uwobo
+setenv UWOBO_LOG_FILE /var/log/mowgli/uwobo
 setenv HTTP_GETTER_PORT 58081
 setenv URI_SET_QUEUE_PORT 58082
 setenv DRAW_GRAPH_PORT 58083