core.session.php

<?php

function sess_setup() {
	if (SESSION_PATH != '')
		session_save_path(SESSION_PATH);

	session_name(SESS_COOKIE);
	setcookie(SESS_COOKIE, '', 0, '', COOKIE_DOMAIN, COOKIE_SECURE, COOKIE_HTTPONLY);

	session_start();
}

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, '/', COOKIE_SECURE, COOKIE_HTTPONLY);
		session_set_cookie_params(-42000);
	}
	session_destroy();
}

?>