diff options
Diffstat (limited to 'cli/delete-user.php')
| -rwxr-xr-x | cli/delete-user.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/delete-user.php b/cli/delete-user.php index fbbb2eebb..7b05cbe7a 100755 --- a/cli/delete-user.php +++ b/cli/delete-user.php @@ -19,7 +19,7 @@ if (!FreshRSS_user_Controller::checkUsername($username)) { } $usernames = listUsers(); -if (!preg_grep("/^$username$/i", $usernames)) { +if (preg_grep("/^$username$/i", $usernames) === false) { fail('FreshRSS error: username not found “' . $username . '”'); } |
