some site
your choice: back/home/menu/sign out
home
menu
sign out
On this example page, the user is not automatically logged out after the session lifetime has expired, as the session lifetime stored in config.php is ignored. However, deregistration occurs due to the loss of the sso registration.