diff options
Diffstat (limited to 'includes/controller/users_controller.php')
| -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; |