- if (!isset($User)) {
- http_response_code(403);
- include_once 'page.inc.php';
- ob_start();
- @require_once './403.html';
+ if (empty($User)) {
+ http_response_code(303);
+ $target = urlencode($_SERVER['REQUEST_URI']);
+ header("Location: /login?goto=$target");