/ -> logout.php
1 <?php
2
3 // logout.php - kills the current session
4 // logout.php - author: Nico Stuurman
5
6 include ("includes/functions_inc.php");
7 include ("includes/init_inc.php");
8 if (isset($system_settings["tmpdir"]))
9 session_save_path($system_settings["tmpdir"]);
10 session_start();
11 if (isset($system_settings["homeURL"])) {
12 $head="<META HTTP-EQUIV='Refresh' CONTENT='1;URL=".
13 $system_settings["homeURL"]."'>\n";
14 }
15 if ($HTTP_SESSION_VARS["PHP_AUTH_USER"]) {
16 printheader("Loging out",$head);
17 navbar(false);
18 session_destroy();
19 echo " <br><h3 align='center'>Thanks for logging out!</h5><br> ";
20 }
21 else {
22 printheader("Loging out");
23 navbar(false);
24 echo " <br><h3 align='center'>You better login first!</hr><br> ";
25 }
26 printfooter();
27 ?>