[bf1942] PID file incorrect?

[Peter Chang]

> From: Christopher Kunz [mailto:chrislist at de-punkt.de]
> Sent: Sunday, March 14, 2004 9:41 AM
> To: bf1942 at icculus.org
> Subject: Re: [bf1942] PID file incorrect?
> 
> 
> Peter Chang wrote:
> 
> > uhh... the pid file format is actually like this:
> > 
> > 	pid
> > 	tid
> > 
> > your cat-int is going to get the tid not the pid.
> > 
> 
> Uhm, I guess "kill -9 `head -n 1 BFVIETNAM.pid`" is a better 
> idea, then?

yes, but if you want to try to play nice do a (using syntax off the top of
my head)

	kill -s SIGINT `head -n 1 bfvietnam.pid`

rather than do a SIGKILL right away just ask the server to go away. in this
case it will attempt to close the log file, console, etc cleanly. the
timeout would be system specific, but if it doesn't go away soon then do the
SIGKILL.

\p
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://icculus.org/pipermail/bf1942/attachments/20040314/d465c0b0/attachment.htm>