diff options
| author | Philip Häusler <msquare@notrademark.de> | 2015-12-05 11:55:35 +0100 |
|---|---|---|
| committer | Philip Häusler <msquare@notrademark.de> | 2015-12-05 11:55:35 +0100 |
| commit | 902a5852a4ec938d86b4a77d584ce8479171c6ea (patch) | |
| tree | fc69af341df40f324017c8bbccf0f1afdf932130 /includes/controller | |
| parent | 3790818baf07f5310851f0d35d61d337a2b29d41 (diff) | |
fix user result check on user controller
Diffstat (limited to 'includes/controller')
| -rw-r--r-- | includes/controller/users_controller.php | 6 |
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; |