From f41ffed16658e78da63012d5d2ff9a65457e6897 Mon Sep 17 00:00:00 2001
From: Iain Patterson <me@iain.cx>
Date: Fri, 21 Aug 2009 15:14:24 +0100
Subject: [PATCH 1/1] Check for broken KRB5CCNAME.

---
 .profile.d/krb5.bashrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.profile.d/krb5.bashrc b/.profile.d/krb5.bashrc
index 586f80d..08dfb53 100644
--- 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"
-- 
2.20.1