Check for broken KRB5CCNAME.

diff --git a/.profile.d/krb5.bashrc b/.profile.d/krb5.bashrc
index 586f80d..08dfb53 100644 (file)
--- a/.profile.d/krb5.bashrc
+++ b/.profile.d/krb5.bashrc
@@ -10,6 +10,11 @@ if [ $UID -gt 0 -a -z "$OLDSOLARIS" -a -z "$OLDREDHAT" ]; then
       # Try to find an existing cache but only if we are using FILE: caches.
       default=$((unset KRB5CCNAME; klist 2>&1) | sed -n 's/.*FILE:\([^)]*\).*/\1/p')
       if [ ! -z "$default" ]; then
+        # Check for Exceed onDemand stupidity.
+        if [ "$KRB5CCNAME" = "FILE:" ]; then
+          unset KRB5CCNAME
+        fi
+
         # Check for bogus FILE: KRB5CCNAME.
         if [ ! -z "$KRB5CCNAME" -a "${KRB5CCNAME##*:}" = "$KRB5CCNAME" ]; then 
           export KRB5CCNAME="FILE:$KRB5CCNAME"