From 672c5e5ab555e08db82a90c39715cb9fb566e4cd Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sun, 29 Jan 2006 19:41:59 +0000
Subject: [PATCH] bug #1414628, session.save_handler not set to files

---
 ChangeLog                 | 2 ++
 libraries/session.inc.php | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ffc6c7191..d8a055953 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -13,6 +13,8 @@ $Source$
     * lang/norwegian: Update, thanks to Sven-Erik Andersen
     * db_details_structure.php: bug #1396998, notice for view row count
       in table list
+    * libraries/session.inc.php: bug #1414628, session.save_handler might
+      be set to something different than "files". Thanks to Nicola Asuni
 
 2006-01-28 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/common.lib.php: bug #1396998, avoid displaying exact row
diff --git a/libraries/session.inc.php b/libraries/session.inc.php
index 306c77f3c..63ced8338 100644
--- a/libraries/session.inc.php
+++ b/libraries/session.inc.php
@@ -67,6 +67,11 @@ if (version_compare( PHP_VERSION, '5.0.0', 'ge')
 // start the session
 // on some servers (for example, sourceforge.net), we get a permission error
 // on the session data directory, so I add some "@"
+
+// [2006-01-25] Nicola Asuni - www.tecnick.com: maybe the PHP directive
+// session.save_handler is set to another value like "user"
+ini_set("session.save_handler", "files");
+
 @session_name('phpMyAdmin');
 @session_start();