global $CFG;
if (isset($CFG->session_timeout)) {
- $this->timeout = $CFG->session_timeout * 60;
+ $this->settings['timeout'] = $CFG->session_timeout * 60;
} else {
- $this->timeout = 20 * 60;
+ $this->settings['timeout'] = 20 * 60;
}
- if (ini_get('session.gc_maxlifetime') != $this->timeout)
- ini_set('session.gc_maxlifetime', $this->timeout);
- if (ini_get('session.cookie_lifetime') != $this->timeout)
- ini_set('session.cookie_lifetime', $this->timeout);
+ if (ini_get('session.gc_maxlifetime') != $this->settings['timeout'])
+ ini_set('session.gc_maxlifetime', $this->settings['timeout']);
+ if (ini_get('session.cookie_lifetime') != $this->settings['timeout'])
+ ini_set('session.cookie_lifetime', $this->settings['timeout']);
+
+ $_SESSION['settings'] = $this->settings;
session_start();
}