<?php
/********************

   Engsoc PHP Registry

 Copyright 2000 Philip Steinke and Kevin Everets
 Licensed under the GNU General Public License

********************/ 
include ('includes/header.inc.php');
$webuser->logout();
disp_header("Thanks for using the Engsoc Registry");

if (!$webuser->is_authenticated()) {
    print "<h3>You are now logged out</h3>\n";
} else {
    session_destroy();
    print "<p>logout function isn't working</p>\n";
}
print "<p>\n\t<a href=\"index.php\">Start over</a>\n</p>\n";

include ('includes/footer.inc.php'); ?>