Re: How to shoot yourself in the foot: kill -9 postmaster - Mailing list pgsql-hackers

>    if [ "$notset" = "1" ] ; then
>       if ps h $pid>/dev/null 2>&1; then
>          # TERM first, then KILL if not dead
>          kill -TERM $pid
>          usleep 100000
>          if ps h $pid >/dev/null 2>&1 ; then
>             sleep 1
>             if ps h $pid >/dev/null 2>&1 ; then
>                sleep 3
>                if ps h $pid >/dev/null 2>&1 ; then
>                   kill -KILL $pid
>                fi
>             fi
>          fi
>       fi

Yes, this seems like the proper way to do it.

--  Bruce Momjian                        |  http://candle.pha.pa.us pgman@candle.pha.pa.us               |  (610)
853-3000+  If your life is a hard drive,     |  830 Blythe Avenue +  Christ can be your backup.        |  Drexel Hill,
Pennsylvania19026