/*
* Forwardable flag is propagated along referral path.
*/
- else if (is_referral &&
- !isflagset(header_enc_tkt->flags, TKT_FLG_FORWARDABLE))
+ else if (!isflagset(header_enc_tkt->flags, TKT_FLG_FORWARDABLE))
clear(enc_tkt_reply.flags, TKT_FLG_FORWARDABLE);
/*
* OK_TO_AUTH_AS_DELEGATE must be set on the service requesting
* S4U2Self in order for forwardable tickets to be returned.
*/
else if (!is_referral &&
- (!isflagset(header_enc_tkt->flags, TKT_FLG_FORWARDABLE) ||
- !isflagset(server.attributes, KRB5_KDB_OK_TO_AUTH_AS_DELEGATE)))
+ !isflagset(server.attributes, KRB5_KDB_OK_TO_AUTH_AS_DELEGATE))
clear(enc_tkt_reply.flags, TKT_FLG_FORWARDABLE);
}
}