diff options
author | Arun Persaud <arun@nubati.net> | 2008-08-17 21:41:39 -0700 |
---|---|---|
committer | Arun Persaud <arun@nubati.net> | 2008-08-17 21:41:39 -0700 |
commit | 1c3c341f53ce5de7e9d4bcc63e43a925faec3f48 (patch) | |
tree | 428ba81fa982a4680871013f2452535ad85bc320 /include/logout.php | |
parent | d0720e088954dd4028037bbb9aeeca29ab4c47ac (diff) | |
download | e-DoKo-1c3c341f53ce5de7e9d4bcc63e43a925faec3f48.tar.gz e-DoKo-1c3c341f53ce5de7e9d4bcc63e43a925faec3f48.tar.bz2 e-DoKo-1c3c341f53ce5de7e9d4bcc63e43a925faec3f48.zip |
CLEANUP: some more comments, also removed some debug messages
Signed-off-by: Arun Persaud <arun@nubati.net>
Diffstat (limited to 'include/logout.php')
-rw-r--r-- | include/logout.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/logout.php b/include/logout.php index f2ebbaf..3acabc3 100644 --- a/include/logout.php +++ b/include/logout.php @@ -1,13 +1,13 @@ <?php -/* make sure that we are not called from outside the scripts, +/* 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 */ +/* to log a player out, all we need to do is to distroy the session */ session_unset(); session_destroy(); $_SESSION = array(); - + ?>
\ No newline at end of file |