Had to use -9 for kill

diff --git a/test/gils/t4.sh b/test/gils/t4.sh
index 331643c..87903a2 100755 (executable)
--- a/test/gils/t4.sh
+++ b/test/gils/t4.sh
@@ -1,2 +1,2 @@
 test -f zebrasrv.pid || exit 1
-kill `cat zebrasrv.pid` || exit 2
+kill -9 `cat zebrasrv.pid` || exit 2