]> matita.cs.unibo.it Git - helm.git/commitdiff
added 2 seconds delay before loading stylesheets
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Mar 2003 15:18:56 +0000 (15:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Mar 2003 15:18:56 +0000 (15:18 +0000)
helm/scripts/init.d/helm-uwobo_mowgli

index 0ea0121f576e59cecbaadd87618714959cd42811..24001cd69b2d47db8edd1b837541582f66206c59 100755 (executable)
@@ -4,7 +4,7 @@
 #
 # by --Zack <zack@cs.unibo.it>
 # Created: Wed, 15 Jan 2003 15:14:07 +0100
-# Last-Modified: Wed, 15 Jan 2003 15:14:07 +0100
+# Last-Modified: Fri, 17 Jan 2003 16:46:41 +0100
 
 DAEMON="/projects/helm/uwobo_mowgli/uwobo"
 USAGE="Usage: /etc/init.d/helm-uwobo_mowgli { start | stop | restart }"
@@ -27,6 +27,8 @@ do_start () {
   start-stop-daemon \
     --start --background --pidfile $PIDFILE --make-pidfile \
     --chuid $OWNER --exec $DAEMON
+  echo "Waiting for UWOBO to startup (2 seconds) ..."
+  sleep 2
   /etc/init.d/helm-tomcat_mowgli start
 }