summaryrefslogtreecommitdiff
path: root/sessions.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2018-10-16 09:27:09 +0300
committerAndrew Dolgov <[email protected]>2018-10-16 09:27:09 +0300
commitdcffa74b03d56b85b1eb5904a4a2e6aa1818f4b2 (patch)
treed6119c3d486baff05d38e46d6b9e5170f4ad0d57 /sessions.php
parentb2b9d3649d8e51a756e68aa81e00c87105de4aa3 (diff)
force logout user when login from is rendered
Diffstat (limited to 'sessions.php')
-rw-r--r--sessions.php10
1 files changed, 10 insertions, 0 deletions
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);
}