From 902a5852a4ec938d86b4a77d584ce8479171c6ea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20H=C3=A4usler?= <msquare@notrademark.de>
Date: Sat, 5 Dec 2015 11:55:35 +0100
Subject: [PATCH] fix user result check on user controller

---
 includes/controller/users_controller.php | 6 ++++++
 1 file changed, 6 insertions(+)

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;