[krbdev.mit.edu #6618] Support optional creation of PID files for krb5kdc and kadmind

[Russ Allbery <rra@stanford.edu> via RT]

We had a request in Debian that the Kerberos KDC daemons write out PID
files.  Among other things, this would allow somewhat better process
management by init scripts and allow people to run other krb5kdc or
kadmind processes on the same system listening to different ports and
not risk them being killed by the regular init script.

Attached is a tested patch implementing this feature.

Please let me know if this patch is acceptable; if so, I will commit it.