<?php
/* vim: set expandtab sw=4 ts=4 sts=4: */
/**
* session handling
*
* @version $Id: session.inc.php 10942 2007-11-25 13:33:54Z lem9 $
* @todo add failover or warn if sessions are not configured properly
* @todo add an option to use mm-module for session handler
* @see http://www.php.net/session
* @uses session_name()
* @uses session_start()
* @uses ini_set()
* @uses version_compare()
* @uses PHP_VERSION
*/
// verify if PHP supports session, die if it does not
if (!@function_exists('session_name')) {
PMA_fatalError('strCantLoad', 'session');
} elseif (ini_get('session.auto_start') == true && session_name() != 'phpMyAdmin') {
// Do not delete the existing session, it might be use
/* vim: set expandtab sw=4 ts=4 sts=4: */
/**
* session handling
*
* @version $Id: session.inc.php 10942 2007-11-25 13:33:54Z lem9 $
* @todo add failover or warn if sessions are not configured properly
* @todo add an option to use mm-module for session handler
* @see http://www.php.net/session
* @uses session_name()
* @uses session_start()
* @uses ini_set()
* @uses version_compare()
* @uses PHP_VERSION
*/
// verify if PHP supports session, die if it does not
if (!@function_exists('session_name')) {
PMA_fatalError('strCantLoad', 'session');
} elseif (ini_get('session.auto_start') == true && session_name() != 'phpMyAdmin') {
// Do not delete the existing session, it might be use