Example #1
0
function session_required()
{
    // if the session has expired set the cookie again
    Database::refresh_session_if_staying_logged_in();
    // cancels script execution when the session cookie is not set
    // returns an "no session" error
    if (!isset($_SESSION['id'])) {
        Response::send("no session", "error");
    }
}
Example #2
0
<?php

$start_time = microtime(true);
// measure execution time
// include database class
require 'database.class.php';
// start session
session_start();
// if the session has expired but a stay logged in cookie is set update the session cookie
Database::refresh_session_if_staying_logged_in();
// include language files
require 'lang/lang.inc.php';
// logo file
include 'logo.inc.php';
if (isset($_GET['basic-page'])) {
    // basic page requested
    require 'basic.inc.php';
} else {
    // include the files depending on the session status
    if (isset($_SESSION['id'])) {
        // user logged in
        require 'home.inc.php';
    } else {
        // user not logged in
        require 'login.inc.php';
    }
}
// echo serverside execution time
echo "<!-- serverside execution time: " . (microtime(true) - $start_time) * 1000 . " ms -->";