diff options
-rw-r--r-- | login.php | 2 | ||||
-rw-r--r-- | logout.php | 8 | ||||
-rw-r--r-- | sessions.php | 10 |
3 files changed, 13 insertions, 7 deletions
@@ -35,6 +35,8 @@ } else { $login_notice = "Incorrect username or password"; } + } else { + logout_user(); } ?> @@ -2,13 +2,7 @@ require_once "config.php"; require_once "sessions.php"; - session_destroy(); - - if (isset($_COOKIE[session_name()])) { - setcookie(session_name(), '', time()-42000, '/'); - } - - session_commit(); + logout_user(); header("Location: login.php"); diff --git a/sessions.php b/sessions.php index bc88180..7755140 100644 --- a/sessions.php +++ b/sessions.php @@ -9,6 +9,16 @@ ini_set("session.gc_maxlifetime", SESSION_LIFETIME); ini_set("session.cookie_lifetime", SESSION_LIFETIME); + function logout_user() { + session_destroy(); + + if (isset($_COOKIE[session_name()])) { + setcookie(session_name(), '', time()-42000, '/'); + } + + session_commit(); + } + if (@$_SERVER['HTTPS'] == "on") { ini_set("session.cookie_secure", true); } |