Bring back some openid improvements from 10.0.x to 9.4.x#9660

Merged

lachlan-roberts merged 2 commits intojetty-9.4.xfrom jetty-9.4.x-openid-improvments

Apr 21, 2023

+388-80

Commits on Apr 18, 2023

Bring back some openid improvments from 10.0.x
lachlan-roberts
committed

Commits on Apr 19, 2023

call logout instead of manually removing attribute
lachlan-roberts
committed