Add --pid-file option to kpropd https://github.com/krb5/krb5/commit/99f631ac5f7dfb6a9a9c77b2ce46c8fb3e8943cf Author: Greg Hudson Commit: 99f631ac5f7dfb6a9a9c77b2ce46c8fb3e8943cf Branch: master doc/admin/admin_commands/kpropd.rst | 5 ++++ src/slave/kpropd.c | 36 +++++++++++++++++++++++++++++++++- 2 files changed, 39 insertions(+), 2 deletions(-)