public function utype_check() { if (Session::fetch('type') == user) { header('location:' . URL . 'permission'); die; } }
static function gc($maxlifetime) { self::logdeb("garbage collection (maxlifetime = {$maxlifetime})"); $epoch = common_sql_date(time() - $maxlifetime); $ids = array(); $session = new Session(); $session->whereAdd('modified < "' . $epoch . '"'); $session->selectAdd(); $session->selectAdd('id'); $session->find(); while ($session->fetch()) { $ids[] = $session->id; } $session->free(); self::logdeb("Found " . count($ids) . " ids to delete."); foreach ($ids as $id) { self::logdeb("Destroying session '{$id}'."); self::destroy($id); } }
static function gc($maxlifetime) { self::logdeb("garbage collection (maxlifetime = {$maxlifetime})"); $epoch = common_sql_date(time() - $maxlifetime); $ids = array(); $session = new Session(); $session->whereAdd('modified < "' . $epoch . '"'); $session->selectAdd(); $session->selectAdd('id'); $limit = common_config('sessions', 'gc_limit'); if ($limit > 0) { // On large sites, too many sessions to expire // at once will just result in failure. $session->limit($limit); } $session->find(); while ($session->fetch()) { $ids[] = $session->id; } $session->free(); self::logdeb("Found " . count($ids) . " ids to delete."); foreach ($ids as $id) { self::logdeb("Destroying session '{$id}'."); self::destroy($id); } }
<img src="<?php echo URL; ?> assets/img/line.jpg" width="425" height="2"></span> </p> <p class="p_style"> <a href='<?php echo URL; ?> '>KASSA</a> | <a href='<?php echo URL; ?> stats'>VAATA ARUANDEID</a> | <?php if (Session::fetch('type') == 'admin') { ?> <a href='<?php echo URL; ?> settings'>SEADED</a> | <?php } ?> <a href='<?php echo URL; ?> index/logout' class='rColor' title='Logi välja'>Logi välja</a><br><br> <img src="<?php echo URL; ?>
<?php require_once './global.inc.php'; verify_oauth_session_exists(); $id = $_GET['id']; $session = Session::fetch($id); $batchIds = array_map(function ($batch) { return $batch['id']; }, $session->getBatches()); $session->batch = $batchIds; echo json_encode($session);