actualize-user.php 626 B

12345678910111213141516171819202122232425
  1. #!/usr/bin/php
  2. <?php
  3. require(__DIR__ . '/_cli.php');
  4. $params = array(
  5. 'user:',
  6. );
  7. $options = getopt('', $params);
  8. if (!validateOptions($argv, $params) || empty($options['user'])) {
  9. fail('Usage: ' . basename(__FILE__) . " --user username");
  10. }
  11. $username = cliInitUser($options['user']);
  12. fwrite(STDERR, 'FreshRSS actualizing user “' . $username . "”…\n");
  13. list($nbUpdatedFeeds, $feed, $nbNewArticles) = FreshRSS_feed_Controller::actualizeFeed(0, '', true);
  14. echo "FreshRSS actualized $nbUpdatedFeeds feeds for $username ($nbNewArticles new articles)\n";
  15. invalidateHttpCache($username);
  16. done($nbUpdatedFeeds > 0);