[KRB] - set principal in environment

[the cagou]

Hello,

While connecting on ssh using kerberos, k5login and no credential
delegation, I would like to
know the principal/login used by the client; as done in apache with
REMOTE_USER.

Looking in the code,  this information is known by 'ssh_gssapi_krb5_userok'
in 'gss-serv-krb5.c'
and could be passed to environment.


Is this feature yet discussed on the list ?
Could it be added in sshd server ?


Thanks in advance for the feedback.

-- François