B7634. Fixes #7634. Session Timeout zu kurz. The bug was probably not a bug, but a too short timeout together with an misleading exception (logout and in - but reload the page also leads to valid page). The fix is 'take the system default (php.ini) and set that one'.