From 652559bbe31af0b43ee7581b50364a513cb689dc Mon Sep 17 00:00:00 2001
From: Dirk Heilig <heilig@adesso-mobile.de>
Date: Wed, 11 Oct 2023 14:22:54 +0200
Subject: [PATCH] make report requesting username also caseinsensitive

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

diff --git a/htdocs/index.php b/htdocs/index.php
index 8b37910..c1997e5 100644
--- a/htdocs/index.php
+++ b/htdocs/index.php
@@ -93,7 +93,7 @@ if ($_SERVER["REQUEST_METHOD"] === "POST") {
 if ($mode === "NO_AUTH") {
     $fileName = "backups.json";
 } else {
-    $fileName = $_GET["user"];
+    $fileName = strtolower($_GET["user"]);
     if (!isset($credentials[$fileName])) {
         header("HTTP/1.0 404 Not Found");
         echo "user not found";