actualize-user.php 561 B

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