Q35271252 Session and Session Cookie Control

<?php // http://stackoverflow.com/questions/35271252/session-php-rand-other-values

// ----------------------------------------------------------------------------------------------------
// Index.php
// ---------

<?php // INDX.PHP  http://stackoverflow.com/questions/35271252/session-php-rand-other-values


// get session id...
$cookieId = '++ not set ++';
$sessionId = '';
if (isset($_COOKIE[session_name()])) {
    $cookieId = session_name();
    $sessionId = $_COOKIE[session_name()];
}

if (isset($_GET['cookie']) || isset($_GET['session'])) {
    session_start();
    $params = session_get_cookie_params();
    setcookie(session_name(), '', time() - 7000,
              $params['path'],
              $params['domain'],
              $params['secure'],
              isset($params['httponly']));
    session_destroy();
    session_write_close();    echo '<p>', 'session destroyed...', '</p>';
    exit;
}

/* remove the space to activate this statement :  ==> * /
echo '<pre>';
var_dump('++++++++ INDEX START ++++++',
         __FILE__.__LINE__,
         'start...',
         'cookie', $_COOKIE,
         'session', $_SESSION,
         'get', $_GET,
         '-------------------');
echo '</pre>';
 /**/

if (!isset($_SESSION)) {
    session_start();
    echo '<p>', 'start file: INDEX.php :', __LINE__,'</p>';

    if (isset($_COOKIE[session_name()])) {
        $cookieId = session_name();
        $sessionId = $_COOKIE[session_name()];
    }
    echo '<p>', 'session started: cookie: ', $cookieId, ',  Session id: ', $sessionId,  '</p>';
}
else {
    echo '<p>', 'start file: INDEX.php :', __LINE__,'</p>';
    echo '<p>', 'session already started: cookie: ', $cookieId, ',  Session id: ', $sessionId,  '</p>';
}


// unset tok
if (isset($_GET['reset']) || isset($_GET['tok'])) {
    echo '<p>';
    echo '$_SESSION[\'tok\'] will be unset!';
    echo '</p>';
    unset($_SESSION['tok']);
    unset($_SESSION['tok_count']);
}


echo '<p><strong>Refresh the page to have the TOK count increase...</strong> Note: must be no parameters in url</p>';

if (isset($_SESSION['tok'])) {
     echo '<p>', ': Tok is already set - value: '. $_SESSION['tok'], ' count: '. $_SESSION['tok_count'], '</p>';
}
else {
    echo '<p>', ': Tok is not set yet.', '</p>';
}

require_once __DIR__ .'/token.php';

echo '<p>', 'end file: INDEX.php : ', __LINE__,'</p>';

// ----------------------------------------------------------------------------------------------------
// Token.php
// ---------

<?php // TOKEN.PHP  http://stackoverflow.com/questions/35271252/session-php-rand-other-values

/* remove the space to activate this statement :  ==> * /
echo '<pre>';
var_dump('++++++++ TOKEN START ++++++',
         __FILE__.__LINE__,
         'start...',
         'cookie', $_COOKIE,
         'session', $_SESSION,
         'get', $_GET,
         '-------------------');
echo '</pre>';
 /**/

// get session id from cookie...
$cookieId = '++ not set ++';
$sessionId = '';
if (isset($_COOKIE[session_name()])) {
    $cookieId = session_name();
    $sessionId = $_COOKIE[session_name()];
}


if (!isset($_SESSION)) {
    session_start();
    echo '<p>', 'start file: TOKEN.php :', __LINE__,'</p>';

    if (isset($_COOKIE[session_name()])) {
        $cookieId = session_name();
        $sessionId = $_COOKIE[session_name()];
    }
    echo '<p>', 'session started: cookie: ', $cookieId, ',  Session id: ', $sessionId,  '</p>';
}
else {
    echo '<p>', 'start file: TOKEN.php :', __LINE__,'</p>';
    echo '<p>', 'session already started: cookie: ', $cookieId, ',  Session id: ', $sessionId,  '</p>';
}

if (isset($_SESSION['tok'])) {
     echo '<p>', ': Tok is already set - value: '. $_SESSION['tok'], '</p>';
}
else {
    echo '<p>', ': Tok is not set.', '</p>';
}

echo '<p>', 'set or adjust tok: TOKEN.php ...', __LINE__,'</p>';
if (!isset($_SESSION['tok'])) {
    $_SESSION['tok'] = rand(100, 999);
    $_SESSION['tok_count'] = 0;
    echo '<p>', ': New Tok:  value: '. $_SESSION['tok'], ' count: '. $_SESSION['tok_count'], '</p>';
}
else {
    $_SESSION['tok_count'] = $_SESSION['tok_count'] + 1;
     echo '<p>', ': Tok is incremented:  value: '. $_SESSION['tok'],  ' count: '. $_SESSION['tok_count'], '</p>';
}

echo '<p>', 'end file: ', 'TOKEN.php  ', __LINE__,'</p>';