[dev] Session issues since php 7.2

[SSRI]

Hi,

Using latest Horde Groupware Webmail Edition 5.2.22 and migrate from  
php 7.1 to 7.2, we've got these errors using an alternate login method  
similar to http_login ( pear/data/horde/scripts/http_login.php ):

HORDE PHP ERROR: ini_set(): A session is active. You cannot change the  
session module's ini settings at this time [pid 14203 on line 159 of  
"/usr/share/horde/pear/php/Horde/Session.php"]
HORDE PHP ERROR: session_set_cookie_params(): Cannot change session  
cookie parameters when session is active [pid 14203 on line 175 of  
"/usr/share/horde/pear/php/Horde/Session.php"]
HORDE PHP ERROR: session_cache_limiter(): Cannot change cache limiter  
when session is active [pid 14203 on line 177 of  
"/usr/share/horde/pear/php/Horde/Session.php"]
HORDE PHP ERROR: session_name(): Cannot change session name when  
session is active [pid 14203 on line 178 of  
"/usr/share/horde/pear/php/Horde/Session.php"]

Is this related to https://bugs.php.net/bug.php?id=76358 ?

We have added this to the following bug report:   
https://bugs.horde.org/ticket/14777

Regards.

System Administration
IT Services
Panthéon-Assas University ( Paris 2 )