ILIAS
ILIAS copied to clipboard
Auth: Avoid unintended logouts
See: https://mantis.ilias.de/view.php?id=29991
This can also help to solve https://mantis.ilias.de/view.php?id=27749 addressed by #7931.
If approved, this MUST be picked to release_9
and trunk
.