The solution does not seem to work. I have the following in my config.php:
s::$timeout = 60*24*30; // thirty days of session validity like in the Panel
s::$cookie['lifetime'] = 9999999; // don't let the cookie ever expire
Cookie lifetimes are set accordingly.
Nonetheless I still have to login every few hours…
Any hints? Daniel