patch from matthieu hautreux for cascading credentials

https://bugzilla.mcs.anl.gov/globus/show_bug.cgi?id=6785

diff --git a/openssh/gss-serv-gsi.c b/openssh/gss-serv-gsi.c
index e77db62b1c343cdec87517727b3ca1cc23c8b87b..1a0c3f963e8aea310c41cea5aad7f7310b983269 100644 (file)
--- a/openssh/gss-serv-gsi.c
+++ b/openssh/gss-serv-gsi.c
@@ -49,6 +49,8 @@ extern ServerOptions options;
 static int ssh_gssapi_gsi_userok(ssh_gssapi_client *client, char *name);
 static int ssh_gssapi_gsi_localname(ssh_gssapi_client *client, char **user);
 static void ssh_gssapi_gsi_storecreds(ssh_gssapi_client *client);
+static void ssh_gssapi_gsi_updatecreds(ssh_gssapi_ccache *store,
+                                      ssh_gssapi_client *client);
 
 ssh_gssapi_mech gssapi_gsi_mech = {
        "dZuIebMjgUqaxvbF7hDbAw==",
@@ -58,7 +60,7 @@ ssh_gssapi_mech gssapi_gsi_mech = {
        &ssh_gssapi_gsi_userok,
        &ssh_gssapi_gsi_localname,
        &ssh_gssapi_gsi_storecreds,
-    NULL
+       &ssh_gssapi_gsi_updatecreds
 };
 
 /*
@@ -222,5 +224,14 @@ ssh_gssapi_gsi_storecreds(ssh_gssapi_client *client)
        gss_release_buffer(&minor_status, &export_cred);
 }
 
+/*
+ * Export updated GSI credential to disk.
+ */
+static void
+ssh_gssapi_gsi_updatecreds(ssh_gssapi_ccache *store,ssh_gssapi_client *client)
+{
+       ssh_gssapi_gsi_storecreds(client);
+}
+
 #endif /* GSI */
 #endif /* GSSAPI */