diff options
Diffstat (limited to 'pages/api/emergency-real.php')
| -rw-r--r-- | pages/api/emergency-real.php | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pages/api/emergency-real.php b/pages/api/emergency-real.php index d788ca8..1e4c0e9 100644 --- a/pages/api/emergency-real.php +++ b/pages/api/emergency-real.php @@ -1,7 +1,12 @@ <?php require_once $_SERVER['DOCUMENT_ROOT'] . "/includes/util/session.inc"; global $isLoggedIn; global $isLowerLoggedIn; -if (!$isLoggedIn && !$isLowerLoggedIn) header("Location: /-/login") and die(); + +if (!$isLoggedIn && !$isLowerLoggedIn) { + header("Location: /-/login"); + die(); +} + global $_PROFILE; $ntfy = json_decode(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/includes/app.json"), true)["ntfy"]; |