Benjamin Land

<?php
    //Essentially prevents any file from being run if not logged in.
    session_start();
    if (!$_SESSION["username"]) {
        session_destroy();
        die("logged out"); //Notifies java that it has not logged in
    }
    echo htmlspecialchars(SID) . "\n"; //Returns the SID for java's benefit
?>