X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=test%2Fgils%2Fstop01.sh;fp=test%2Fgils%2Fstop01.sh;h=41681a65ebf657f44f2772b543f9e6d75c8fad77;hb=20ba1d9d1d672f244ed83dee5224241df29378ea;hp=f1b52c17be2a9de4d8346f78df139e4a00654672;hpb=e93e9d110b6bb2596e011de5fb0c8825ac2fe2b2;p=idzebra-moved-to-github.git

diff --git a/test/gils/stop01.sh b/test/gils/stop01.sh
index f1b52c1..41681a6 100755
--- a/test/gils/stop01.sh
+++ b/test/gils/stop01.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: stop01.sh,v 1.2 2003-05-06 17:39:01 adam Exp $
+# $Id: stop01.sh,v 1.3 2003-05-06 20:09:28 adam Exp $
 # test start and stop of the server with -1
 
 echo "initializing"
@@ -22,15 +22,14 @@ sleep 1
 echo "  checking that it runs... "
 test -f zebrasrv.pid || exit 1
 PID=`cat zebrasrv.pid`
-ps -p $PID >/dev/null || exit 1
+ps -p $PID |grep $PID >/dev/null || exit 1
 
 echo "  connecting to it..."
 ../testclient localhost:9901 utah > log || exit 1
 sleep 1
 
 echo "  checking that server does not run any more"
-ps -p $PID >/dev/null && exit 1
+ps -p $PID | grep $PID >/dev/null && exit 1
 
-echo ok
 # clean up
 rm -rf reg idx.log srv.log zebrasrv.pid