diff options
| author | 2014-01-02 01:47:03 +0100 | |
|---|---|---|
| committer | 2014-01-02 01:47:03 +0100 | |
| commit | b4c477ca41a7ecaa6364dd6a97603829b14b11ef (patch) | |
| tree | 3c70bdb6fd1186122896fd25355dbf1a9669a00d /lib/Minz/Session.php | |
| parent | dd190ed382a6896244d3159a7a5fda3d1c3aaaf4 (diff) | |
actualize_script compatible multi-utilisateur
* Messages plus verbeux dans actualize_script
* Ajout d'un message syslog lorsque SimplePie fait une requête HTTP
* Minz_Session ne fermait pas les sessions complètement.
* Nouvelle option dans Minz_Dispatcher et Minz_FrontController pour ne
pas utiliser ob_gzhandler.
Contribue à https://github.com/marienfressinaud/FreshRSS/issues/126
Diffstat (limited to 'lib/Minz/Session.php')
| -rw-r--r-- | lib/Minz/Session.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/Session.php b/lib/Minz/Session.php index 3f6ed88a3..37faff0fb 100644 --- a/lib/Minz/Session.php +++ b/lib/Minz/Session.php @@ -60,7 +60,7 @@ class Minz_Session { public static function unset_session ($force = false) { $language = self::param ('language'); - session_unset (); + session_destroy(); self::$session = array (); if (!$force) { |
