Revert initial commit
[phpmyadmin/blinky.git] / libraries / session.inc.php
blob8f5bec9d02d25a49c090481f46143bd679da92c8
1 <?php
2 /* vim: set expandtab sw=4 ts=4 sts=4: */
3 /**
4 * session handling
6 * @version $Id$
7 * @todo add failover or warn if sessions are not configured properly
8 * @todo add an option to use mm-module for session handler
9 * @see http://www.php.net/session
10 * @uses session_name()
11 * @uses session_start()
12 * @uses ini_set()
13 * @package phpMyAdmin
15 if (! defined('PHPMYADMIN')) {
16 exit;
19 // verify if PHP supports session, die if it does not
21 if (!@function_exists('session_name')) {
22 PMA_warnMissingExtension('session', true);
23 } elseif (ini_get('session.auto_start') == true && session_name() != 'phpMyAdmin') {
24 // Do not delete the existing session, it might be used by other
25 // applications; instead just close it.
26 session_write_close();
29 // disable starting of sessions before all settings are done
30 // does not work, besides how it is written in php manual
31 //ini_set('session.auto_start', 0);
33 // session cookie settings
34 session_set_cookie_params(0, $GLOBALS['PMA_Config']->getCookiePath(),
35 '', $GLOBALS['PMA_Config']->isHttps(), true);
37 // cookies are safer (use @ini_set() in case this function is disabled)
38 @ini_set('session.use_cookies', true);
40 // optionally set session_save_path
41 $path = $GLOBALS['PMA_Config']->get('SessionSavePath');
42 if (!empty($path)) {
43 session_save_path($path);
46 // but not all user allow cookies
47 @ini_set('session.use_only_cookies', false);
48 @ini_set('session.use_trans_sid', true);
49 @ini_set('url_rewriter.tags',
50 'a=href,frame=src,input=src,form=fakeentry,fieldset=');
51 //ini_set('arg_separator.output', '&amp;');
53 // delete session/cookies when browser is closed
54 @ini_set('session.cookie_lifetime', 0);
56 // warn but dont work with bug
57 @ini_set('session.bug_compat_42', false);
58 @ini_set('session.bug_compat_warn', true);
60 // use more secure session ids
61 @ini_set('session.hash_function', 1);
63 // some pages (e.g. stylesheet) may be cached on clients, but not in shared
64 // proxy servers
65 session_cache_limiter('private');
67 // start the session
68 // on some servers (for example, sourceforge.net), we get a permission error
69 // on the session data directory, so I add some "@"
71 // See bug #1538132. This would block normal behavior on a cluster
72 //ini_set('session.save_handler', 'files');
74 $session_name = 'phpMyAdmin';
75 @session_name($session_name);
77 if (! isset($_COOKIE[$session_name])) {
78 // on first start of session we check for errors
79 // f.e. session dir cannot be accessed - session file not created
80 $orig_error_count = $GLOBALS['error_handler']->countErrors();
81 $r = session_start();
82 if ($r !== true || $orig_error_count != $GLOBALS['error_handler']->countErrors()) {
83 setcookie($session_name, '', 1);
85 * Session initialization is done before selecting language, so we
86 * can not use translations here.
88 PMA_fatalError('Cannot start session without errors, please check errors given in your PHP and/or webserver log file and configure your PHP installation properly.');
90 unset($orig_error_count);
91 } else {
92 session_start();
95 /**
96 * Token which is used for authenticating access queries.
97 * (we use "space PMA_token space" to prevent overwriting)
99 if (!isset($_SESSION[' PMA_token '])) {
100 $_SESSION[' PMA_token '] = md5(uniqid(rand(), true));
104 * tries to secure session from hijacking and fixation
105 * should be called before login and after successfull login
106 * (only required if sensitive information stored in session)
108 * @uses session_regenerate_id() to secure session from fixation
110 function PMA_secureSession()
112 // prevent session fixation and XSS
113 session_regenerate_id(true);