d738b9
/var/log/krb5kdc.log {
d738b9
    missingok
d738b9
    notifempty
d738b9
    monthly
d738b9
    rotate 12
d738b9
    postrotate
d738b9
	/bin/kill -HUP `cat /var/run/krb5kdc.pid 2>/dev/null` 2> /dev/null || true
d738b9
    endscript
d738b9
}