From: "Eliran" <[EMAIL PROTECTED]> > Then how does fetchmail do that ?
Fetchmail stores its PID in ~/.fetchmail.pid > > On Tue, Aug 13, 2002 at 09:16:29PM +0200, Eliran wrote: > > > import os > > childpid = os.fork > > if (childpid == 0): > > child_stuff() > > else: > > os.exit() > > You definitely have to keep it somewhere outside the program, > then. /var/run/foo/pid comes to mind as a reasonably place (assuming > you have permission to write there). Sagi ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
