From a37b863eb7b0d2c70d2ac0f637c2a237fe101c08 Mon Sep 17 00:00:00 2001
From: Bryan Pedini <bryanpedini@bryanpedini.it>
Date: Tue, 26 Feb 2019 10:07:30 +0100
Subject: [PATCH] Corrected logout redirection

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index 9b8f66c..0002cbb 100644
--- a/index.php
+++ b/index.php
@@ -79,7 +79,7 @@
             case "logout":
                 $_SESSION = array ( );
                 session_destroy ( );
-                header ( "Location: " . substr ( $_SERVER [ 'SCRIPT_NAME' ], 0, -10 ) );
+                header ( "Location: " . substr ( $_SERVER [ 'SCRIPT_NAME' ], 0, -10 ) . "/" );
                 break;
             case "insert":
                 if ( ! isset ( $_SESSION [ 'user_id' ] ) ) {