[bf1942] PID

[Scratch Monkey]

--On Tuesday, March 11, 2003 11:33 AM -0600 Don Kukral <dk at donkeypit.com>
wrote:

> Actually you can just handle this in the start script.
> 
> My start script is as follows:
> 
># !/bin/bash
> 
> ./bf1942_lnxded > logs/bf-out.log 2> logs/bf-err.log &
> echo $! > logs/bf.pid

If your script runs bf1942_lnxded in a loop, then record the PID of the
script, not the binary. Killing the script will also kill the binary.