>    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(at)candle(dot)pha(dot)pa(dot)us               |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026

In response to

• Re: How to shoot yourself in the foot: kill -9 postmaster at 2001-03-06 02:11:38 from Lamar Owen

Responses

• Re: How to shoot yourself in the foot: kill -9 postmaster at 2001-03-06 02:23:55 from Lamar Owen

pgsql-hackers by date

Next:	From: Hiroshi Inoue	Date: 2001-03-06 02:14:32
	Subject: Re: How to handle waitingForLock in LockWaitCancel()
Previous:	From: Lamar Owen	Date: 2001-03-06 02:11:38
	Subject: Re: How to shoot yourself in the foot: kill -9 postmaster