<?php 

include ("librarylib.php");

session_start();

// database link commented out, because it's use or necessity is unclear.
//if( !isset($link) ) {
//   $link = connect_db()
//      or die ( "Unable to connect to server.\n" );
//}

//Update the last login time
//$sql = "update user set lastlogin=now()+0 where user_id=$user_id";
//$result = mysql_query($sql) or 
//   die("Unable to update user login time in database.\n");

$_SESSION["user_id"] = -1;
$_SESSION["this_name"] = "Unknown User";
$_SESSION["username"] = "anonymous";
$_SESSION["permission"] = "anonymous";

html_begin($choralcfg_sitename, $choralcfg_sitename, $choralcfg_cssfile);

//print "$sql";

print "<TABLE width=\"100%\" border=\"0\" cellpadding=\"0\" ".
      "cellspacing=\"10\">\n";
print "<TR><TD valign=\"top\">\n";
include("links.phtml");
print "</TD>\n";
print "<TD>";

print ("<b>$choral_linkmenulogout:</b>");
print ("<p>$choral_youhavebeenloggedout</p>\n");

library_footer();
print "</TD></TABLE>";
html_end();

?>