summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilip Häusler <msquare@notrademark.de>2015-12-05 11:55:35 +0100
committerPhilip Häusler <msquare@notrademark.de>2015-12-05 11:55:35 +0100
commit902a5852a4ec938d86b4a77d584ce8479171c6ea (patch)
treefc69af341df40f324017c8bbccf0f1afdf932130
parent3790818baf07f5310851f0d35d61d337a2b29d41 (diff)
fix user result check on user controller
-rw-r--r--includes/controller/users_controller.php6
1 files changed, 6 insertions, 0 deletions
diff --git a/includes/controller/users_controller.php b/includes/controller/users_controller.php
index 067fc4aa..c560e79a 100644
--- a/includes/controller/users_controller.php
+++ b/includes/controller/users_controller.php
@@ -81,6 +81,12 @@ function user_controller() {
if (isset($_REQUEST['user_id'])) {
$user_source = User($_REQUEST['user_id']);
+ if ($user_source === false)
+ engelsystem_error("Unable to load user.");
+ if ($user_source == null) {
+ error(_("User not found."));
+ redirect('?');
+ }
} else
$user_source = $user;