From f5e972c030675f46cda543e13da1b787457e070b Mon Sep 17 00:00:00 2001 From: cflip <36554078+cflip@users.noreply.github.com> Date: Wed, 23 Jun 2021 15:21:12 -0600 Subject: Add the rest of the changes --- includes/Session.php | 114 +++++++++++++++++++++++++-------------------------- 1 file changed, 57 insertions(+), 57 deletions(-) mode change 100644 => 100755 includes/Session.php (limited to 'includes/Session.php') diff --git a/includes/Session.php b/includes/Session.php old mode 100644 new mode 100755 index ceaa765..0e08482 --- a/includes/Session.php +++ b/includes/Session.php @@ -1,57 +1,57 @@ -id; - $_SESSION['user_name'] = $user->name; - } - - public function sign_out() - { - session_unset(); - session_destroy(); - } - - public function is_signed_in(): bool - { - return isset($_SESSION['signed_in']); - } - - public function get_current_user() - { - // There is no current user - if (!$this->is_signed_in()) { - return null; - } - - $result = new User(); - - if (isset($_SESSION['user_id'])) { - $result->get_by_id($_SESSION['user_id']); - } else { - $result = null; - } - - return $result; - } -} +id; + $_SESSION['user_name'] = $user->name; + } + + public function sign_out() + { + session_unset(); + session_destroy(); + } + + public function is_signed_in(): bool + { + return isset($_SESSION['signed_in']); + } + + public function get_current_user() + { + // There is no current user + if (!$this->is_signed_in()) { + return null; + } + + $result = new User(); + + if (isset($_SESSION['user_id'])) { + $result->get_by_id($_SESSION['user_id']); + } else { + $result = null; + } + + return $result; + } +} -- cgit v1.2.3