class Utils {
+ private $timeout = false;
private $settings;
private $header = '<!DOCTYPE html>
<html>
$this->startSession();
}
+ if (false !== $this->timeout) {
+ $timeout = $this->timeout;
+ } else {
+ $timeout = 0;
+ }
+
$this->settings = array(
'server' => $_SERVER,
'user' => null,
'admin' => false,
'loginStatus' => 'Not logged in',
- 'timeout' => 0
+ 'timeout' => $timeout
);
$_SESSION['settings'] = $this->settings;
global $CFG;
if (isset($CFG->session_timeout)) {
- $this->settings['timeout'] = $CFG->session_timeout * 60;
+ $this->timeout = $CFG->session_timeout * 60;
} else {
- $this->settings['timeout'] = 20 * 60;
+ $this->timeout = 20 * 60;
}
- 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;
+ 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);
session_start();
}