From 12778505e51e3ad71cd0cd0ba0e24b935be6a7be Mon Sep 17 00:00:00 2001
From: Bartek Fabiszewski <github@fabiszewski.net>
Date: Wed, 5 Dec 2018 12:09:45 +0100
Subject: [PATCH] Fix getting session name, closes #75

---
 helpers/auth.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/helpers/auth.php b/helpers/auth.php
index fc017d7..7977d2d 100644
--- a/helpers/auth.php
+++ b/helpers/auth.php
@@ -86,9 +86,9 @@
      */
     private function sessionEnd() {
       $_SESSION = [];
-      if (ini_get("session.use_cookies")) {
+      if (ini_get("session.use_cookies") && isset($_COOKIE[session_name()])) {
         $params = session_get_cookie_params();
-        setcookie(session_name('ulogger'), '', time() - 42000,
+        setcookie(session_name(), '', time() - 42000,
           $params["path"], $params["domain"],
           $params["secure"], $params["httponly"]
         );
@@ -181,4 +181,4 @@
       header("Location: $location");
       exit();
     }
-  }
\ No newline at end of file
+  }