<pre class="highlight">
&lt;?php
/**
* logout.php
* Logout page removes session and cookie data
*
* @author Ed Parrish
* @version 1.2 11/12/05
*/

ob_start();
if (!session_id()) session_start();

main(&quot;Artzy Secure Logout&quot;);

// Control the operation of a page
function main($title = &quot;&quot;) {
    $redirect = &quot;http://&quot;.$_SERVER['HTTP_HOST']
                .&quot;index.html&quot;;
    $other = &quot;&lt;meta http-equiv=\&quot;Refresh\&quot;&quot;;
    $other .= &quot;content=\&quot;5;URL=$redirect\&quot;&gt;\n&quot;;
    $user = &quot;&quot;;
    if (isset($_SESSION['user'])) {
        $user = $_SESSION['user'];
    }
    $_SESSION = array();
    if (isset($_COOKIE[session_name()])) {
        setcookie(session_name(), '', time() - 86400, '/');
    }
    session_destroy();
    include(&quot;includes/header.php&quot;);
    showContent($title, $redirect, $user);
    include(&quot;includes/footer.php&quot;);
}

/**
* Purpose: Display the content of a page
*/
function showContent($title, $redirect, $user) {
    $msg = $user;
    if (!$user) {
        $msg = &quot;You are&quot;;
    }
    echo &quot;&lt;h1&gt;$title&lt;/h1&gt;&quot;;
    echo&lt;&lt;&lt;HTML
&lt;p&gt;$msg logged out securely.&lt;/p&gt;&lt;/p&gt;
&lt;p&gt;Click &lt;a href=&quot;$redirect&quot;&gt;here&lt;/a&gt; to continue.&lt;/p&gt;
HTML;
}
?&gt;
</pre>