Files
FreshRSS/cli/actualize-user.php
2016-10-24 02:25:44 +02:00

24 lines
515 B
PHP
Executable File

#!/usr/bin/php
<?php
require('_cli.php');
$options = getopt('', array(
'user:',
));
if (empty($options['user'])) {
fail('Usage: ' . basename(__FILE__) . " --user username");
}
$username = cliInitUser($options['user']);
fwrite(STDERR, 'FreshRSS actualizing user “' . $username . "”…\n");
list($nbUpdatedFeeds, $feed) = FreshRSS_feed_Controller::actualizeFeed(0, '', true);
echo "FreshRSS actualized $nbUpdatedFeeds feeds for $username\n";
invalidateHttpCache($username);
done($nbUpdatedFeeds > 0);