[Tickets #14777] Re: compatibility with php 7.2

[noreply at bugs.horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: https://bugs.horde.org/ticket/14777
------------------------------------------------------------------------------
  Ticket             | 14777
  Updated By         | ssri_abo at u-paris2.fr
  Summary            | compatibility with php 7.2
  Queue              | Horde Framework Packages
  Type               | Bug
  State              | Unconfirmed
  Priority           | 2. Medium
  Milestone          |
  Patch              | 1
  Owners             |
------------------------------------------------------------------------------


ssri_abo at u-paris2.fr (2019-01-10 13:50) wrote:

Since 7.2 , got these errors :

HORDE PHP ERROR: ini_set(): A session is active. You cannot change the  
session module's ini settings at this time [pid 14215 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 14215 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 14215 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 14215 on line 178 of  
"/usr/share/horde/pear/php/Horde/Session.php"]