]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-tomcat_mowgli
use new daemon_respawner.sh
[helm.git] / helm / scripts / init.d / helm-tomcat_mowgli
index 2b8325e4895109ca1b3c3fdb084dcd25a56063aa..73cf5211cab2613fa96ba9e761d31291088cf30e 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
@@ -24,19 +24,19 @@ case "$1" in
     ;;
 
   stop)
-    $UWOBO_INIT_SCRIPT --unload > /dev/null
+    $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
     ;;
 
   reload)
-    $UWOBO_INIT_SCRIPT --reload > /dev/null
+    $UWOBO_INIT_SCRIPT --reload $UWOBO_PANEL_CONF > /dev/null
     $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
     ;;
 
   restart)
-    $UWOBO_INIT_SCRIPT --unload > /dev/null
+    $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
-    $UWOBO_INIT_SCRIPT > /dev/null
+    $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null
     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
     ;;