Use krb5_rc_resolve_full() to detect the "none" rcache type. The previous code was...