Riccardo Di Dato
d7e5c5ac35
Inclusi js essenziali BugFix LoginManager Creata classe MenuGenerator per ottenere le voci menu in base ai ruoli Incluso sistema di inclusione header in GUIHandler
53 lines
1.1 KiB
PHP
53 lines
1.1 KiB
PHP
<?php
|
|
/*
|
|
Author: Riccardo Di Dato
|
|
Creation Date: 13/gen/2016
|
|
*/
|
|
|
|
class ASDSessionHandler {
|
|
private static $isSessionStarted;
|
|
private static $sessId;
|
|
|
|
public static function getSessionId(){
|
|
self::prepareToOperate();
|
|
return self::$sessId;
|
|
}
|
|
|
|
private static function prepareToOperate(){
|
|
if (!isset(self::$isSessionStarted) || !self::$isSessionStarted){
|
|
self::$isSessionStarted = session_start();
|
|
}
|
|
if (!isset(self::$sessId) || is_null(self::$sessId)){
|
|
self::$sessId = session_id();
|
|
}
|
|
}
|
|
|
|
public static function sessionValueExists($val){
|
|
self::prepareToOperate();
|
|
return array_key_exists($val,$_SESSION);
|
|
}
|
|
|
|
public static function getSessionValue($val){
|
|
self::prepareToOperate();
|
|
return (self::sessionValueExists($val)?$_SESSION[$val]:null);
|
|
}
|
|
|
|
public static function setSessionValue($key,$val){
|
|
self::prepareToOperate();
|
|
$_SESSION[$key] = $val;
|
|
}
|
|
|
|
public static function unsetSessionValue($key){
|
|
self::prepareToOperate();
|
|
if (array_key_exists($key,$_SESSION)){
|
|
unset($_SESSION[$key]);
|
|
}
|
|
}
|
|
|
|
public static function flush(){
|
|
self::prepareToOperate();
|
|
session_unset();
|
|
}
|
|
}
|
|
|
|
?>
|