Will,

Now why aint you using the native debian packages :-) But then the debian init scripts are probably not portable either. Also they don't include lmtpd support yet either. A todo.

Seriously, I second your request. Or better yet, should be trivial to fix. I'll get onto it as part of the dynamic preforking patch I've already included in the 2.0 experimental packages.

Will Berry wrote:
Feature request for 2.0! Ideally the two servers should be enhanced to provide a command line option "-p $PIDFILE", or something like it, and write the parent process' pid to the specified location at startup. Then the stop verb of the init script would be changed to simply "kill `cat $PIDFILE`". If I find time in the next couple of days, I may make these changes myself and submit them. (Or is there a clever shell script hack to do this?)
--
  ________________________________________________________________
  Paul Stevens                                  mailto:[EMAIL PROTECTED]
  NET FACILITIES GROUP                     PGP: finger [EMAIL PROTECTED]
  The Netherlands________________________________http://www.nfg.nl

Reply via email to