diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2019-03-23 12:08:35 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2019-03-23 12:08:35 +0100 |
| commit | e7a57915f9c90c144d95918048d2523418866921 (patch) | |
| tree | c952ffd76112ba10f03e6d9e54919405b3bcd268 /cli/list-users.php | |
| parent | ebd8c31c0272f135b1b55f0480d1c8c3875935fe (diff) | |
CLI user-info fixes (#2292)
* CLI missing exit codes
https://github.com/FreshRSS/FreshRSS/issues/2291
* CLI catch for outdated databases
https://github.com/FreshRSS/FreshRSS/issues/2291#issuecomment-475856890
Diffstat (limited to 'cli/list-users.php')
| -rwxr-xr-x | cli/list-users.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cli/list-users.php b/cli/list-users.php index 758bbdb46..b3ce9936f 100755 --- a/cli/list-users.php +++ b/cli/list-users.php @@ -13,3 +13,5 @@ if (FreshRSS_Context::$system_conf->default_user !== '' foreach ($users as $user) { echo $user, "\n"; } + +done(); |