diff options
author | Arun Persaud <arun@nubati.net> | 2008-04-26 11:52:49 -0700 |
---|---|---|
committer | Arun Persaud <arun@nubati.net> | 2008-04-26 11:52:49 -0700 |
commit | 09515348107d9aab7823a12d31b082a2ebb75555 (patch) | |
tree | 2e6c01eb6fdc07390c73cb46142c5efda39f567d /include/logout.php | |
parent | 0c5b3eeca3006f61dd326a86e8989c52694d581b (diff) | |
download | e-DoKo-09515348107d9aab7823a12d31b082a2ebb75555.tar.gz e-DoKo-09515348107d9aab7823a12d31b082a2ebb75555.tar.bz2 e-DoKo-09515348107d9aab7823a12d31b082a2ebb75555.zip |
CLEANUP: make index.php very short and move everything in separate files
created an include dir and almost everything that was in index.php is now in separate
files and gets only included in index.php... makes index.php look a lot nicer ;)
Signed-off-by: Arun Persaud <arun@nubati.net>
Diffstat (limited to 'include/logout.php')
-rw-r--r-- | include/logout.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/include/logout.php b/include/logout.php new file mode 100644 index 0000000..d74f091 --- /dev/null +++ b/include/logout.php @@ -0,0 +1,15 @@ +<?php +/* make sure that we are not called from outside the scripts, + * use a variable defined in config.php to check this + */ +if(!isset($HOST)) + exit; + +/* distroy the session */ +session_unset(); +session_destroy(); +$_SESSION = array(); + +echo "<div class=\"message\"><span class=\"bigger\">You are now logged out!</span><br />\n". +"(<a href=\"$INDEX\">This will take you back to the home-page</a>)</div>"; +?>
\ No newline at end of file |