<?php
    //secure, this will ensure cookie is present before allowing you to view page
    //jeff, add buffer flush to make sure not in cache

	if(!isset($sess)){$sess=0;}
	if(!$sess){$sess=session_start();}
    if (isset($_SESSION["pid"])) {
    //session set, show logon name
    //echo "You are logged on as " . $_SESSION["uid"];
	//echo "Your role is: " . $HTTP_SESSION_VARS["role"];
    }
    else
    {
    //session not set, redirect to logon page
    header("Location: ../index.php");        //redirect
    //echo "You are not logged on as " . $HTTP_SESSION_VARS["uid"];
    }
?>