*cough* "server_realm" is unused and there doesn't seem to be anything
sane to do with it in GSSAPI; the concept exists in Kerberos, but really
any tickets for the specified principal in the keytab will be used.
So I'm removing that option.
(Bright side: I found this while documenting the driver, thus there will
shortly exist documentation for this.)
This message was posted to the following mailing lists: