[torquedev] patch: gssapi: don't forget FILE: prefix on credential cache name

[Sergio Gelato]

A simple patch to ccname_for_job() to explicitly identify the Kerberos 5
credentials cache type as FILE:. This is usually the default, but just
in case...
-------------- next part --------------
diff -ru old/src/lib/Libgss/pbsgss.c new/src/lib/Libgss/pbsgss.c
--- old/src/lib/Libgss/pbsgss.c	2007-05-30 14:33:23.000000000 +0200
+++ new/src/lib/Libgss/pbsgss.c	2007-05-30 14:34:08.186053914 +0200
@@ -840,14 +840,14 @@
   char *ccname;
   int i;
   i = strlen(prefix) + 
-    strlen("/krb5cc_") + 
+    strlen("FILE:/krb5cc_") + 
     strlen(jobname) + 1;  
   ccname = malloc(sizeof(char)*i);
   if (!ccname) 
     {
       return NULL;
     }
-  sprintf(ccname,"%s/krb5cc_%s",prefix,jobname);
+  sprintf(ccname,"FILE:%s/krb5cc_%s",prefix,jobname);
   return ccname;
 }