]> matita.cs.unibo.it Git - helm.git/commitdiff
added loading of stylesheets on start/restart
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jan 2003 14:33:26 +0000 (14:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jan 2003 14:33:26 +0000 (14:33 +0000)
helm/scripts/init.d/helm-uwobo_mowgli

index a65df325289b6731dd2f62c65a9ab55fc68b0f41..0ea0121f576e59cecbaadd87618714959cd42811 100755 (executable)
@@ -27,6 +27,7 @@ do_start () {
   start-stop-daemon \
     --start --background --pidfile $PIDFILE --make-pidfile \
     --chuid $OWNER --exec $DAEMON
+  /etc/init.d/helm-tomcat_mowgli start
 }
 
 do_stop () {