From 7ef68b15f928d22c756e6de7de0495f76f42b1df Mon Sep 17 00:00:00 2001
From: jgen <jeffgenovy@gmail.com>
Date: Fri, 25 Apr 2014 15:38:15 -0400
Subject: [PATCH] Fix indentation.
---
ext/user/main.php | 29 +++++++++++++++++------------
1 file changed, 17 insertions(+), 12 deletions(-)
diff --git a/ext/user/main.php b/ext/user/main.php
index 0c94c5d0..31c6bb37 100644
--- a/ext/user/main.php
+++ b/ext/user/main.php
@@ -147,11 +147,13 @@ class UserPage extends Extension {
// Try forwarding to same page on logout unless user comes from registration page
if ($config->get_int("user_loginshowprofile",0) == 0 &&
- isset($_SERVER['HTTP_REFERER']) &&
- strstr($_SERVER['HTTP_REFERER'], "post/"))
- $page->set_redirect ($_SERVER['HTTP_REFERER']);
- else
- $page->set_redirect(make_link());
+ isset($_SERVER['HTTP_REFERER']) &&
+ strstr($_SERVER['HTTP_REFERER'], "post/"))
+ {
+ $page->set_redirect ($_SERVER['HTTP_REFERER']);
+ } else {
+ $page->set_redirect(make_link());
+ }
}
if(!$user->check_auth_token()) {
@@ -349,13 +351,16 @@ class UserPage extends Extension {
$this->set_login_cookie($duser->name, $pass);
log_info("user", "{$user->class->name} logged in");
$page->set_mode("redirect");
-
- // Try returning to previous page
- if ($config->get_int("user_loginshowprofile",0) == 0 &&
- isset($_SERVER['HTTP_REFERER']) &&
- strstr($_SERVER['HTTP_REFERER'], "post/"))
- $page->set_redirect($_SERVER['HTTP_REFERER']);
- else $page->set_redirect(make_link("user"));
+
+ // Try returning to previous page
+ if ($config->get_int("user_loginshowprofile",0) == 0 &&
+ isset($_SERVER['HTTP_REFERER']) &&
+ strstr($_SERVER['HTTP_REFERER'], "post/"))
+ {
+ $page->set_redirect($_SERVER['HTTP_REFERER']);
+ } else {
+ $page->set_redirect(make_link("user"));
+ }
}
else {
log_warning("user", "Failed to log in as ".html_escape($name)." [$hash]");