diff options
| author | 2019-03-23 12:08:35 +0100 | |
|---|---|---|
| committer | 2019-03-23 12:08:35 +0100 | |
| commit | e7a57915f9c90c144d95918048d2523418866921 (patch) | |
| tree | c952ffd76112ba10f03e6d9e54919405b3bcd268 /cli/user-info.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/user-info.php')
| -rwxr-xr-x | cli/user-info.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cli/user-info.php b/cli/user-info.php index 043bebf7c..125408c10 100755 --- a/cli/user-info.php +++ b/cli/user-info.php @@ -51,3 +51,5 @@ foreach ($users as $username) { "\n"; } } + +done(); |
