LPMJ Example 20-13

(Click on the icon to view the source for copy and pasting)

<?php // rnlogout.php
include_once 'rnheader.php';
echo "<h3>Log out</h3>";

if (isset($_SESSION['user']))
{
	destroySession();
	echo "You have been logged out. Please
	<a href='index.php'>click here</a> to refresh the screen.";
}
else echo "You are not logged in";
?>