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

diff --git a/test/gils/timing2.sh b/test/gils/timing2.sh
index 54a1974..a9a692c 100755
--- a/test/gils/timing2.sh
+++ b/test/gils/timing2.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: timing2.sh,v 1.4 2003-05-06 17:39:01 adam Exp $ 
+# $Id: timing2.sh,v 1.5 2003-05-06 20:09:28 adam Exp $ 
 # Demonstrated that updates depend on file timestamps
 
 echo "Testing timings of updates"
@@ -64,10 +64,9 @@ grep "^Result count: 9$" log || exit 1
 
 echo "stopping server..."
 test -f zebrasrv.pid || exit 1
-kill -9 `cat zebrasrv.pid` || exit 1
+kill `cat zebrasrv.pid` || exit 1
 rm -f idx.log log timeref[12]
 rm -f records/esdd000[12].grs 
 rm -f zebrasrv.pid
 rm -f srv.log
 
-echo ok