From dc0e6b6941ab9b9a7f1a5f6120e1a31dbef9fd10 Mon Sep 17 00:00:00 2001 From: Martin Ambrus Date: Wed, 25 Oct 2017 08:08:26 +0200 Subject: [PATCH] fix: undefined index --- GameEngine/Session.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GameEngine/Session.php b/GameEngine/Session.php index 194f50a4..040a71ed 100755 --- a/GameEngine/Session.php +++ b/GameEngine/Session.php @@ -280,7 +280,7 @@ $session = new Session; $form = new Form; // if there is no user, we'd try to load messages for user with ID 0, which is wrong -if ($_SESSION['id_user']) { +if (!empty($_SESSION['id_user'])) { $message = new Message; }