From 0e548c653ae2385f50bb952e32eb777104124238 Mon Sep 17 00:00:00 2001
From: shelvacu <shelvacu@gmail.com>
Date: Mon, 11 May 2020 16:33:03 -0600
Subject: [PATCH] Fix "Undefined index: mobile" warnings

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

diff --git a/required.php b/required.php
index bc4b37d..88b872f 100644
--- a/required.php
+++ b/required.php
@@ -33,7 +33,7 @@ session_start(); // stick some cookies in it
 // renew session cookie
 setcookie(session_name(), session_id(), time() + $session_length, "/", false, false);
 
-if ($_SESSION['mobile'] === TRUE) {
+if (isset($_SESSION['mobile']) && $_SESSION['mobile'] === TRUE) {
     header("Content-Security-Policy: "
             . "default-src 'self';"
             . "object-src 'none'; "
-- 
2.34.1