]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-tomcat_mowgli
...
[helm.git] / helm / scripts / init.d / helm-tomcat_mowgli
index 2b8325e4895109ca1b3c3fdb084dcd25a56063aa..896060e6df5ab8433141c3218875ce13fad35da9 100755 (executable)
@@ -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