From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 18 Mar 2003 15:18:56 +0000 (+0000)
Subject: added 2 seconds delay before loading stylesheets
X-Git-Tag: before_refactoring~108
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=20754a73006e110f7f67d037cddc4a49f4fb5418;p=helm.git

added 2 seconds delay before loading stylesheets
---

diff --git a/helm/scripts/init.d/helm-uwobo_mowgli b/helm/scripts/init.d/helm-uwobo_mowgli
index 0ea0121f5..24001cd69 100755
--- a/helm/scripts/init.d/helm-uwobo_mowgli
+++ b/helm/scripts/init.d/helm-uwobo_mowgli
@@ -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
 }