added support for NuPRL stylesheets

[helm.git] / helm / scripts / init.d / helm-tomcat_mowgli

diff --git a/helm/scripts/init.d/helm-tomcat_mowgli b/helm/scripts/init.d/helm-tomcat_mowgli
index 45f3c141e9976eb2ddfd8f7754dc16c817fa8ac2..d56a1b2c9b24e2221f491cc5d3a3b4eb90d7e907 100755 (executable)
--- a/helm/scripts/init.d/helm-tomcat_mowgli
+++ b/helm/scripts/init.d/helm-tomcat_mowgli
@@ -24,19 +24,26 @@ case "$1" in
     echo -n "Loading UWOBO stylesheets (mowgli) ... "
     $UWOBO_INIT_SCRIPT > /dev/null
     echo "done!"
+    echo -n "Loading UWOBO stylesheets (mowgli NuPRL) ... "
+    $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
+    echo "done!"
     ;;
 
   stop)
     $UWOBO_INIT_SCRIPT --unload > /dev/null
+    $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
     ;;
 
   reload)
     $UWOBO_INIT_SCRIPT --reload > /dev/null
+    $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
     ;;
 
   restart)
     $UWOBO_INIT_SCRIPT --unload > /dev/null
+    $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
     $UWOBO_INIT_SCRIPT > /dev/null
+    $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
     ;;
 
   *)