make report requesting username also caseinsensitive

master
Dirk Heilig 2023-10-11 14:22:54 +02:00
parent bd7e63b617
commit 652559bbe3
1 changed files with 1 additions and 1 deletions

View File

@ -93,7 +93,7 @@ if ($_SERVER["REQUEST_METHOD"] === "POST") {
if ($mode === "NO_AUTH") { if ($mode === "NO_AUTH") {
$fileName = "backups.json"; $fileName = "backups.json";
} else { } else {
$fileName = $_GET["user"]; $fileName = strtolower($_GET["user"]);
if (!isset($credentials[$fileName])) { if (!isset($credentials[$fileName])) {
header("HTTP/1.0 404 Not Found"); header("HTTP/1.0 404 Not Found");
echo "user not found"; echo "user not found";