kprop enhancement: new command-line option -p

[Michael Raitza]

Hi,

I had a short discussion about this on the kerberos mailing list.
I'd like to have support for supplying a principal to the kprop tool as
the automatic name resolution sometimes fails to resolve the 'correct'
host name to a kprop service principal.

I have written the patch against krb5.git and hereby request a pull. :)

---

The following changes since commit 2de742a3c8f9dc71d0d48de531c221f06cc17046:

  kprop: supply principal via new option -p (2013-08-19 23:30:11 +0200)

are available in the git repository at:

  git://git.meterriblecrew.net/spacefrogg/krb5 tags/kprop-p-option

for you to fetch changes up to 2de742a3c8f9dc71d0d48de531c221f06cc17046:

  kprop: supply principal via new option -p (2013-08-19 23:30:11 +0200)

----------------------------------------------------------------
New option -p for kprop

 New option -p that takes a principal as its argument.
 This principal represents the kprop's service principal.
 It also sets the server's realm to the principal's realm and
 this options is thus mutually exclusive to -r.

----------------------------------------------------------------

Regards,

Michael Raitza