...

diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli
index af33f72ede5b0dd8e5ead94140e33b2b8335c01e..8f5b1edd64ef56081d7d76ceacfb50b7e183fd23 100644 (file)
--- 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 2b8325e4895109ca1b3c3fdb084dcd25a56063aa..896060e6df5ab8433141c3218875ce13fad35da9 100755 (executable)
--- 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