Missing PID File

[Sam Hartman]

>>>>> "ms419" == ms419  <ms419 at freezone.co.uk> writes:

    ms419> Does krb5kdc maintain a pid file?  I think my
    ms419> distribution's init system may require a pidfile to
    ms419> properly start and stop krb5kdc, but I can't find one.

No, it does not.  

If you're using Debian, look at the init scripts in the krb5-kdc
package for an example of how to use start-stop-daemon to run the KDC.
The scripts do seem to pass in a --pidfile argument; this seems like a
bug in the script, but they do work in practice.