Public_Tools/wavelog
2
0
Fork 0
mirror of https://github.com/wavelog/wavelog.git synced 2026-03-22 10:24:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

better place it in the config.php

Browse Source
This commit is contained in:
HB9HIL
2024-10-07 09:31:10 +00:00
parent 3474c88f9b
commit c2e9c2625f
4 changed files with 25 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
system/libraries/Session/Session.php
View File

@@ -124,6 +124,9 @@ class CI_Session {
unset($_COOKIE[$this->_config['cookie_name']]);
}
ini_set('session.gc_probability', config_item('sess_gc_probability') ?? 1);
ini_set('session.gc_divisor', config_item('sess_gc_divisor') ?? 1000);
session_start();
// Is session ID auto-regeneration configured? (ignoring ajax requests)