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

git-svn-id: svn://svn.open-ils.org/OpenSRF/trunk@830 9efc2488-bf62-4759-914b-345cdb29e865

diff --git a/bin/osrf_ctl.sh b/bin/osrf_ctl.sh
index ef7ce0e..02fb9a6 100755 (executable)
--- a/bin/osrf_ctl.sh
+++ b/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;