webgui: minor indent fix #1347

This commit is contained in:
Franco Fichtner 2017-12-16 09:06:57 +00:00
parent b98c3c71b0
commit 4ba98f8d55

View File

@ -234,7 +234,7 @@ function session_auth(&$Login_Error)
$_SESSION['last_access'] = time();
$_SESSION['protocol'] = $config['system']['webgui']['protocol'];
if (!isset($config['system']['webgui']['quietlogin'])) {
log_error(sprintf("Successful login for user '%s' from: %s", $_POST['usernamefld'], $_SERVER['REMOTE_ADDR']));
log_error(sprintf("Successful login for user '%s' from: %s", $_POST['usernamefld'], $_SERVER['REMOTE_ADDR']));
}
if (!empty($_GET['url'])) {
header(url_safe("Location: {$_GET['url']}"));