commit 789b1fe3e78f59cdb35ac5e6cf7166f6b97436c7
author Andrey Andreev <narf@devilix.net> Sat Feb 07 19:30:30 2015 +0200
committer Andrey Andreev <narf@devilix.net> Sat Feb 07 19:30:30 2015 +0200
tree 43a64b6b9fd29d7934f4bd423a2fe7e13b791574
parent cb28c896fe883a373a906d5c6ef8c71c0b2ae999

Add 'sess_regenerate_destroy' setting

system/libraries/Session/Session.php

diff --git a/system/libraries/Session/Session.php b/system/libraries/Session/Session.php
index ba1919b..de9b1e8 100644
--- a/system/libraries/Session/Session.php
+++ b/system/libraries/Session/Session.php
@@ -153,7 +153,7 @@
 			}
 			elseif ($_SESSION['__ci_last_regenerate'] < (time() - $regenerate_time))
 			{
-				$this->sess_regenerate(FALSE);
+				$this->sess_regenerate((bool) config_item('sess_regenerate_destroy'));
 			}
 		}
 		// Another work-around ... PHP doesn't seem to send the session cookie