<?php
	require("lib/common.php");

	session_start();
	$_SESSION = array();

	colonyHTMLStart();
?>
<p>You are now logged out. Thanks for playing!</p>
<?php
	colonyHTMLEnd();
?>

<?php
	require("lib/common.php");

	session_start();
	$_SESSION = array();

	colonyHTMLHeader();
?>
<p>You are now logged out. Thanks for playing!</p>
<?php
	colonyHTMLFooter();
?>

Replace HTMLStart and HTMLEnd with HTMLHeader and HTMLFooter when logging out.
Replace HTMLStart and HTMLEnd with HTMLHeader and HTMLFooter when logging out.

HTMLStart requires the user to be logged in to show the HTML content, which caught the user in a redirect loop logging out and back in.
