1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16: 17: 18: 19: 20: 21: 22: 23: 24: 25: 26: 27: 28: 29: 30: 31: 32: 33: 34: 35: 36: 37: 38: 39: 40: 41: 42: 43: 44: 45: 46: 47: 48: 49: 50: 51: 52: 53: 54: 55: 56: 57: 58: 59: 60: 61: 62: 63: 64: 65: 66: 67: 68: 69: 70: 71: 72: 73: 74: 75: 76: 77: 78: 79: 80: 81: 82: 83: 84: 85: 86: 87: 88: 89: 90: 91: 92: 93: 94: 95: 96: 97: 98: 99: 100: 101: 102: 103: 104: 105: 106: 107: 108: 109: 110: 111: 112: 113: 114: 115: 116: 117: 118: 119: 120: 121: 122: 123: 124: 125: 126: 127: 128: 129: 130: 131: 132: 133: 134: 135: 136: 137: 138: 139: 140: 141: 142: 143: 144: 145: 146: 147: 148: 149: 150: 151: 152: 153: 154: 155: 156: 157: 158: 159: 160: 161: 162: 163: 164: 165: 166: 167: 168: 169: 170: 171: 172: 173: 174: 175: 176: 177: 178: 179: 180: 181: 182: 183: 184: 185: 186: 187: 188: 189: 190: 191: 192: 193: 194: 195: 196: 197: 198: 199: 200: 201: 202: 203: 204: 205: 206: 207: 208: 209: 210: 211: 212: 213: 214: 215: 216: 217: 218: 219: 220: 221: 222: 223: 224: 225: 226: 227: 228: 229: 230: 231: 232: 233: 234: 235: 236: 237: 238: 239: 240: 241: 242: 243: 244: 245: 246: 247: 248: 249: 250: 251: 252: 253: 254:
<?php
namespace MvcCore;
class Session extends \ArrayObject {
const SESSION_METADATA_KEY = '__MC';
protected $__name = 'default';
protected static $started = FALSE;
protected static $meta = array();
protected static $instances = array();
public static function Start () {
if (static::$started) return;
if (!\MvcCore::GetInstance()->GetRequest()->IsAppRequest()) return;
$sessionNotStarted = function_exists('session_status') ? session_status() == PHP_SESSION_NONE : session_id() == '' ;
if ($sessionNotStarted) {
session_start();
static::setUpMeta();
static::setUpData();
}
static::$started = TRUE;
}
protected static function setUpMeta () {
$metaKey = static::SESSION_METADATA_KEY;
$meta = array();
if (isset($_SESSION[$metaKey])) {
$meta = @unserialize($_SESSION[$metaKey]);
}
if (!$meta) {
$meta = array(
'names' => array(),
'hoops' => array(),
'expirations' => array(),
);
}
static::$meta = (object) $meta;
}
protected static function setUpData () {
$hoops = & static::$meta->hoops;
$names = & static::$meta->names;
$expirations = & static::$meta->expirations;
foreach ($hoops as $name => $hoop) {
$hoops[$name] -= 1;
}
$now = time();
foreach ($names as $name => $one) {
$unset = array();
if (isset($hoops[$name])) {
if ($hoops[$name] < 0) $unset[] = 'hoops';
}
if (isset($expirations[$name])) {
if ($expirations[$name] < $now) $unset[] = 'expirations';
}
if ($unset) {
$currentErrRepLevels = error_reporting();
error_reporting(0);
foreach ($unset as $unsetKey) {
if (isset(static::$meta->$unsetKey) && isset(static::$meta->$unsetKey[$name]))
unset(static::$meta->$unsetKey[$name]);
}
error_reporting($currentErrRepLevels);
unset($names[$name]);
unset($_SESSION[$name]);
}
}
}
public static function Close () {
register_shutdown_function(function () {
foreach (static::$instances as & $instance) {
if (count($instance) === 0) $instance->Destroy();
}
$metaKey = static::SESSION_METADATA_KEY;
$_SESSION[$metaKey] = serialize(static::$meta);
@session_write_close();
});
}
public static function & GetNamespace ($name = 'default') {
if (!isset(static::$instances[$name])) {
static::$instances[$name] = new static($name);
}
return static::$instances[$name];
}
public function __construct ($name = 'default') {
if (!static::$started) static::Start();
$this->__name = $name;
static::$meta->names[$name] = 1;
if (!isset($_SESSION[$name])) $_SESSION[$name] = array();
static::$instances[$name] = $this;
}
public function SetExpirationHoops ($hoops) {
static::$meta->hoops[$this->__name] = $hoops;
return $this;
}
public function SetExpirationSeconds ($seconds) {
static::$meta->expirations[$this->__name] = time() + $seconds;
return $this;
}
public function Destroy () {
$name = $this->__name;
$names = & static::$meta->names;
$hoops = & static::$meta->hoops;
$expirations = & static::$meta->expirations;
$instances = & static::$instances;
if (isset($names[$name])) unset($names[$name]);
if (isset($hoops[$name])) unset($hoops[$name]);
if (isset($expirations[$name])) unset($expirations[$name]);
if (isset($_SESSION[$name])) unset($_SESSION[$name]);
if (isset($instances[$name])) unset($instances[$name]);
}
public function __isset ($key) {
return isset($_SESSION[$this->__name][$key]);
}
public function __unset ($key) {
$name = $this->__name;
if (isset($_SESSION[$name][$key])) unset($_SESSION[$name][$key]);
}
public function __get ($key) {
$name = $this->__name;
if (isset($_SESSION[$name][$key])) return $_SESSION[$name][$key];
return NULL;
}
public function __set ($key, $value) {
$_SESSION[$this->__name][$key] = $value;
}
public function count () {
return count($_SESSION[$this->__name]);
}
}