diff options
| author | 2016-10-23 01:46:14 +0200 | |
|---|---|---|
| committer | 2016-10-23 01:46:14 +0200 | |
| commit | 1b8eb6c7e732f1eda4fc8f22e847b363b016f857 (patch) | |
| tree | 509c9024d8a31f70f1f76e6a9c93cad5b13a2713 /cli/_cli.php | |
| parent | 5b1b43ab57da6a7bc1599c224d47455b2e56d53d (diff) | |
CLI import ZIP/OPML/JSON for user
https://github.com/FreshRSS/FreshRSS/issues/1095
https://github.com/FreshRSS/FreshRSS/issues/851
Diffstat (limited to 'cli/_cli.php')
| -rw-r--r-- | cli/_cli.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/_cli.php b/cli/_cli.php index cb6d8ec32..d81d83d66 100644 --- a/cli/_cli.php +++ b/cli/_cli.php @@ -37,3 +37,8 @@ function cliInitUser($username) { return $username; } + +function done($ok) { + echo 'Result: ', ($ok ? 'success' : 'fail'), ".\n"; + exit($ok ? 0 : 1); +} |
