| #!/bin/sh |
| # |
| # pkill the process given on the command line, first with SIGTERM, |
| # then after max 2 seconds, if it still lives, using SIGKILL. Don't return |
| # until the process is dead. |
| # |
| if [ "$#" = 0 ]; then |
| echo "usage: $0 <pgrep-options...>" >&2 |
| exit 1 |
| fi |
| |
| echo -n "Stopping $*: " >&2 |
| |
| if [ -n "$2" ]; then |
| baby=$2 |
| else |
| baby=$1 |
| fi |
| babysitter="babysit [0-9]+ ($baby)(\$| )" |
| |
| pkill -f "$babysitter" |
| pkill "$@" |
| for d in $(seq 20); do |
| if ! { pgrep -f "$babysitter" || pgrep "$@"; } >/dev/null; then |
| echo done >&2 |
| exit 0 |
| fi |
| usleep 100000 |
| echo -n "." >&2 |
| done |
| pkill -9 -f "$babysitter" |
| pkill -9 "$@" |
| echo done >&2 |
