From 90a0e8c26c07a4d39dd7124dd01ec150083d8d8a Mon Sep 17 00:00:00 2001 From: plegall Date: Sat, 3 Dec 2016 20:07:14 +0100 Subject: [PATCH] fixes #512, set session garbage collector probability --- include/common.inc.php | 6 ++++++ include/config_default.inc.php | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/include/common.inc.php b/include/common.inc.php index 81b7352d2..d960d3f32 100644 --- a/include/common.inc.php +++ b/include/common.inc.php @@ -103,6 +103,12 @@ if(isset($conf['show_php_errors']) && !empty($conf['show_php_errors'])) @ini_set('display_errors', true); } +if ($conf['session_gc_probability'] > 0) +{ + @ini_set('session.gc_divisor', 100); + @ini_set('session.gc_probability', min((int)$conf['session_gc_probability'], 100)); +} + include(PHPWG_ROOT_PATH . 'include/constants.php'); include(PHPWG_ROOT_PATH . 'include/functions.inc.php'); include(PHPWG_ROOT_PATH . 'include/template.class.php'); diff --git a/include/config_default.inc.php b/include/config_default.inc.php index c3b36064f..acb25ef5d 100644 --- a/include/config_default.inc.php +++ b/include/config_default.inc.php @@ -422,6 +422,12 @@ $conf['session_length'] = 3600; // address $conf['session_use_ip_address'] = true; +// Probability, on each page generated, to launch session garbage +// collector. Integer value between 1 and 100, in %. 0 to disable and let +// the system default behavior (on Debian-like, it's "never delete +// session"). +$conf['session_gc_probability'] = 1; + // +-----------------------------------------------------------------------+ // | debug/performance | // +-----------------------------------------------------------------------+