X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=test%2Fgils%2Fstop01.sh;fp=test%2Fgils%2Fstop01.sh;h=c91e76afb9054dc3fb1371edce0be1797bf5819c;hb=6e8c025fafc311744b5ef785238fe0a623aba6d9;hp=3bd6238b40c69628defb0e666e65a9588379a8c0;hpb=331a52cd9d00dc1205a5e502d0bb018c8e39d3e4;p=idzebra-moved-to-github.git

diff --git a/test/gils/stop01.sh b/test/gils/stop01.sh
index 3bd6238..c91e76a 100755
--- a/test/gils/stop01.sh
+++ b/test/gils/stop01.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: stop01.sh,v 1.6 2004-06-14 23:45:11 adam Exp $
+# $Id: stop01.sh,v 1.7 2004-09-24 15:03:19 adam Exp $
 # test start and stop of the server with -1
 
 pp=${srcdir:-"."}
@@ -20,9 +20,8 @@ test -f zebrasrv.pid && kill -9 `cat zebrasrv.pid`
 echo "Starting server with -1 (one shot)..." >>$LOG
 ../../index/zebrasrv -1 -c $pp/zebra1.cfg -l $LOG tcp:@:9901 &
 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