From: Claudio Sacerdoti Coen Date: Wed, 18 Feb 2004 16:40:36 +0000 (+0000) Subject: ... X-Git-Tag: v0_0_4~140 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d359d9542769e0ccbdf6736a1e7273f3aa02698c;p=helm.git ... --- diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli index af33f72ed..8f5b1edd6 100644 --- a/helm/scripts/init.d/etc_default_helm_mowgli +++ b/helm/scripts/init.d/etc_default_helm_mowgli @@ -28,7 +28,7 @@ OWNER="sacerdot:helm" export HELM_GETTER_URL=http://mowgli.cs.unibo.it:58081 export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:58080 -export UWOBO_PANEL_CONF=/projects/helm/public_html/uwobo/panel/control.html +UWOBO_PANEL_CONF=/projects/helm/public_html/uwobo/panel/control.html NUPRL_UWOBO_PANEL_CONF="/projects/helm/nuprl/NuPRL/uwobo-panel/control.html" # vim: set ft=sh: diff --git a/helm/scripts/init.d/helm-tomcat_mowgli b/helm/scripts/init.d/helm-tomcat_mowgli index 2b8325e48..896060e6d 100755 --- a/helm/scripts/init.d/helm-tomcat_mowgli +++ b/helm/scripts/init.d/helm-tomcat_mowgli @@ -16,7 +16,7 @@ case "$1" in start) echo -n "Loading UWOBO stylesheets (mowgli) ... " - $UWOBO_INIT_SCRIPT > /dev/null + $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null echo "done!" echo -n "Loading UWOBO stylesheets (mowgli NuPRL) ... " $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null