<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE>RE: [bf1942] PID file incorrect?</TITLE>

<META content="MSHTML 6.00.2800.1226" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT face=Tahoma size=2><B>From:</B> Peter Chang 
[mailto:peter.chang@dicecanada.com]<BR><B>Subject:</B> RE: [bf1942] PID file 
incorrect?<BR><BR></FONT></DIV>
<BLOCKQUOTE dir=ltr 
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
  <P><FONT size=2>&gt; From: Christopher Kunz [<A 
  href="mailto:chrislist@de-punkt.de">mailto:chrislist@de-punkt.de</A>]</FONT> 
  <BR><FONT size=2>&gt; Subject: [bf1942] PID file incorrect?</FONT> <BR><FONT 
  size=2>&gt; </FONT><BR><FONT size=2>&gt; my BFVIETNAM.pid file seems to have 
  an excess "16384" under </FONT><BR><FONT size=2>&gt; the actual 
  </FONT><BR><FONT size=2>&gt; PID, so that the (non-existant) process 16384 
  gets killed </FONT><BR><FONT size=2>&gt; too, whenever </FONT><BR><FONT 
  size=2>&gt; I wanna kill -9 `cat BFVIETNAM.pid`... is that a confirmed 
  bug?</FONT> </P>
  <P><FONT size=2>uhh... the pid file format is actually like this:</FONT> </P>
  <P>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <FONT size=2>pid</FONT> 
  <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <FONT size=2>tid</FONT> </P>
  <P><FONT size=2>your cat-int is going to get the tid not the pid.</FONT> 
</P></BLOCKQUOTE>
<P dir=ltr><SPAN class=174273814-14032004><FONT face=Arial color=#0000ff 
size=2>oops, i meant to say 'and' not&nbsp; 'not'</FONT></SPAN></P>
<P dir=ltr><SPAN class=174273814-14032004><FONT face=Arial color=#0000ff 
size=2></FONT></SPAN>&nbsp;</P>
<P dir=ltr><SPAN class=174273814-14032004><FONT face=Arial color=#0000ff 
size=2>\p</FONT></SPAN></P></BODY></HTML>