do a kill -9 after kill -s INT to make sure no stubborn processes stick around

git-svn-id: svn://svn.open-ils.org/ILS/branches/rel_1_0@6993 dcc99617-32d9-48b4-a31d-7c20da2025e4

diff --git a/OpenSRF/bin/osrf_ctl.sh b/OpenSRF/bin/osrf_ctl.sh
index ef7ce0e..02fb9a6 100755 (executable)
--- a/OpenSRF/bin/osrf_ctl.sh
+++ b/OpenSRF/bin/osrf_ctl.sh
@@ -89,7 +89,9 @@ function do_action {
 
                pid=$(cat $pidfile);
                echo "Stopping $item : $pid";
-               kill -s INT $pid;
+               kill -s INT $pid 2> /dev/null;
+        sleep 1;
+               kill -9 $pid 2> /dev/null;
                rm -f $pidfile;
 
        fi;