gssapi-name-in-env.patch

   1 --- openssh-4.7p1/gss-serv.c
   2 +++ openssh-4.7p1/gss-serv.c
   3 @@ -355,6 +355,13 @@
   4                 child_set_env(envp, envsizep, gssapi_client.store.envvar,
   5                     gssapi_client.store.envval);
   6         }
   7 +       if (gssapi_client.exportedname.length != 0 &&
   8 +           gssapi_client.exportedname.value != NULL) {
   9 +               debug("Setting %s to %s", "SSH_GSSAPI_NAME",
  10 +                   gssapi_client.exportedname.value);
  11 +               child_set_env(envp, envsizep, "SSH_GSSAPI_NAME",
  12 +                   gssapi_client.exportedname.value);
  13 +       }
  14  }
  15
  16  /* Privileged */