Fix Deepsource.io warning message for index.php file (#4953)

This commit is contained in:
Adam Warner 2022-10-01 22:57:32 +01:00 committed by GitHub
commit 997a771dc8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -29,7 +29,8 @@ if (!empty($_SERVER["FQDN"])) {
if ($serverName === "pi.hole"
|| (!empty($_SERVER["VIRTUAL_HOST"]) && $serverName === $_SERVER["VIRTUAL_HOST"])) {
// Redirect to Web Interface
exit(header("Location: /admin"));
header("Location: /admin");
exit();
} elseif (filter_var($serverName, FILTER_VALIDATE_IP) || in_array($serverName, $authorizedHosts)) {
// When directly browsing via IP or authorized hostname
// Render splash/landing page based off presence of $landPage file
@ -75,6 +76,6 @@ EOT;
exit($splashPage);
}
exit(header("HTTP/1.1 404 Not Found"));
header("HTTP/1.1 404 Not Found");
exit();
?>