diff options
author | Marcin Juszkiewicz <hrw@openembedded.org> | 2006-08-29 13:42:00 +0000 |
---|---|---|
committer | Marcin Juszkiewicz <hrw@openembedded.org> | 2006-08-29 13:42:00 +0000 |
commit | 51497027c61550d72a994ad3161e45f66e8a81bd (patch) | |
tree | ac9b02c372ccf1e83578b5d4189d3ce770335964 /contrib/feed-browser/update.php | |
parent | 1bfeca965f47b63f59f09785e1a43cbbc76095b2 (diff) |
feed-browser: feeds has a type now: normal/upgrades.
Type is used by updater to update only 'upgrades' feeds:
"php update.php upgrades"
Diffstat (limited to 'contrib/feed-browser/update.php')
-rw-r--r-- | contrib/feed-browser/update.php | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/contrib/feed-browser/update.php b/contrib/feed-browser/update.php index b82b843663..ed67d3b78a 100644 --- a/contrib/feed-browser/update.php +++ b/contrib/feed-browser/update.php @@ -39,11 +39,16 @@ require_once 'includes/functions.inc'; check_database(); +$feeds = db_query("SELECT f_id, f_name, f_uri FROM feeds"); + +if($argc > 1 AND $argv[1] == 'upgrades') +{ + $feeds = db_query("SELECT f_id, f_name, f_uri FROM feeds WHERE f_type = 'upgrades'"); +} + $start = time(); $p_count = 0; -$feeds = db_query("SELECT f_id, f_name, f_uri FROM feeds"); - foreach($feeds as $feed) { print("Updating {$feed['f_name']}: "); |