array(
'name'=>'base',
'url'=>'base',
+ 'type'=>'normal',
),
array(
'name'=>'opie',
'url'=>'opie',
+ 'type'=>'normal',
),
array(
'name'=>'x11',
'url'=>'x11',
+ 'type'=>'normal',
),
array(
'name'=>'upgrades',
'url'=>'upgrades',
+ 'type'=>'upgrades',
),
array(
'name'=>'perl',
'url'=>'perl',
+ 'type'=>'normal',
),
array(
'name'=>'python',
'url'=>'python',
+ 'type'=>'normal',
),
array(
'name'=>'Collie upgrades',
'url'=>'upgrades/machine/collie',
+ 'type'=>'upgrades',
),
array(
'name'=>'Tosa upgrades',
'url'=>'upgrades/machine/tosa',
+ 'type'=>'upgrades',
),
array(
'name'=>'Poodle upgrades',
'url'=>'upgrades/machine/poodle',
+ 'type'=>'upgrades',
),
array(
'name'=>'Poodle',
'url'=>'machine/poodle',
+ 'type'=>'normal',
),
array(
'name'=>'Collie',
'url'=>'machine/collie',
+ 'type'=>'normal',
),
array(
'name'=>'Tosa',
'url'=>'machine/tosa',
+ 'type'=>'normal',
)
)
),
array(
'name'=>'base',
'url'=>'base',
+ 'type'=>'normal',
),
array(
'name'=>'opie',
'url'=>'opie',
+ 'type'=>'normal',
),
array(
'name'=>'perl',
'url'=>'perl',
+ 'type'=>'normal',
),
array(
'name'=>'python',
'url'=>'python',
+ 'type'=>'normal',
),
array(
'name'=>'upgrades',
'url'=>'upgrades',
+ 'type'=>'upgrades',
),
array(
'name'=>'x11',
'url'=>'x11',
+ 'type'=>'normal',
),
array(
'name'=>'C7x0',
'url'=>'machine/c7x0',
+ 'type'=>'normal',
),
array(
'name'=>'Spitz',
'url'=>'machine/spitz',
+ 'type'=>'normal',
),
array(
'name'=>'Akita',
'url'=>'machine/akita',
+ 'type'=>'normal',
),
array(
'name'=>'Akita upgrades',
'url'=>'upgrades/machine/akita',
+ 'type'=>'upgrades',
),
array(
'name'=>'C7x0 upgrades',
'url'=>'upgrades/machine/c7x0',
+ 'type'=>'upgrades',
),
array(
'name'=>'Spitz upgrades',
'url'=>'upgrades/machine/spitz',
+ 'type'=>'upgrades',
)
)
)
{
foreach($distro['feeds'] as $feed)
{
- sqlite_query($db, "INSERT INTO feeds (f_id, f_name, f_uri) VALUES
+ sqlite_query($db, "INSERT INTO feeds (f_id, f_name, f_uri, f_type) VALUES
(
{$id},
'{$distro['distro_name']} {$distro['distro_version']} {$feed['name']}',
- '{$distro['feed_base_url']}{$feed['url']}'
+ '{$distro['feed_base_url']}{$feed['url']}',
+ '{$feed['type']}'
)");
$id++;
f_id int(8),
f_name varchar(32),
f_uri varchar(100),
- f_comments varchar(500))");
+ f_type varchar(16)
+ )");
insert_feeds ($db) ;
}
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']}: ");