summaryrefslogtreecommitdiff
path: root/includes/Session.php
diff options
context:
space:
mode:
authorcflip <36554078+cflip@users.noreply.github.com>2021-04-25 17:43:37 -0600
committercflip <36554078+cflip@users.noreply.github.com>2021-04-25 17:43:37 -0600
commit2d5cf9448edb1eb6785c1532ccb031b0ba0d1ef0 (patch)
tree2bf099704c5665f66c0bd2a18b7c4599ec397ffa /includes/Session.php
parent08561be92bbfafe149b758634f3df4d00ee310de (diff)
Remove old signout_inc.php file
Diffstat (limited to 'includes/Session.php')
-rw-r--r--includes/Session.php6
1 files changed, 6 insertions, 0 deletions
diff --git a/includes/Session.php b/includes/Session.php
index 967b11b..7951d70 100644
--- a/includes/Session.php
+++ b/includes/Session.php
@@ -26,6 +26,12 @@ class Session
$_SESSION['user_name'] = $user->name;
}
+ public function sign_out()
+ {
+ session_unset();
+ session_destroy();
+ }
+
public function is_signed_in(): bool
{
return isset($_SESSION['signed_in']);