X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=test%2Fgils%2Fstop04.sh;h=11bfd7bec19c65b5d742f2a1d1528e55f7ebf0e3;hb=5e9aca2e8f33fe023b6b9da6df55642f96efcb50;hp=10bde111e28867d9139e32e322b687d549e04756;hpb=3038982ea4d46e1562a4e88029199ca09153a839;p=idzebra-moved-to-github.git

diff --git a/test/gils/stop04.sh b/test/gils/stop04.sh
index 10bde11..11bfd7b 100755
--- a/test/gils/stop04.sh
+++ b/test/gils/stop04.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: stop04.sh,v 1.6 2004-06-15 08:06:34 adam Exp $
+# $Id: stop04.sh,v 1.7 2004-09-24 15:03:19 adam Exp $
 # test start and stop of the forked server 
 
 pp=${srcdir:-"."}
@@ -22,7 +22,7 @@ echo "Starting server with (forked)..." >>$LOG
 sleep 1
 
 echo "  checking that it runs... " >>$LOG
-test -f zebrasrv.pid || exit 1
+test -f zebrasrv.pid || sleep 5 || test -f zebrasrv.pid || exit 1
 PID=`cat zebrasrv.pid`
 ps -p $PID | grep $PID >/dev/null || exit 1