54 lines
955 B
PHP
Executable File
54 lines
955 B
PHP
Executable File
<?php
|
|
|
|
|
|
|
|
function sess_setup($lifetime=3600) {
|
|
if (SESSION_PATH != '')
|
|
session_save_path(SESSION_PATH);
|
|
global $fp_config;
|
|
|
|
$cparams=session_get_cookie_params();
|
|
if ($cparams['lifetime']>0 && $lifetime==0 )
|
|
$lifetime = $cparams['lifetime'];
|
|
|
|
session_set_cookie_params($lifetime);
|
|
|
|
session_name(SESS_COOKIE);
|
|
|
|
session_start();
|
|
|
|
|
|
// echo '<pre>', print_r($cparams,1), '</pre>';
|
|
|
|
}
|
|
|
|
|
|
function sess_add($key, $val) {
|
|
$_SESSION[$key] = $val;
|
|
}
|
|
|
|
|
|
function sess_remove($key) {
|
|
if (isset($_SESSION[$key])) {
|
|
$oldval=$_SESSION[$key];
|
|
unset($_SESSION[$key]);
|
|
return $oldval;
|
|
}
|
|
}
|
|
|
|
function sess_get($key) {
|
|
if (isset($_SESSION[$key]))
|
|
return $_SESSION[$key];
|
|
else return false;
|
|
}
|
|
|
|
function sess_close() {
|
|
unset($_SESSION);
|
|
if (isset($_COOKIE[session_name()])) {
|
|
setcookie(session_name(), '', time()-42000, '/');
|
|
session_set_cookie_params(-42000);
|
|
}
|
|
session_destroy();
|
|
}
|
|
|
|
?>
|