diff options
Diffstat (limited to 'refresh.php')
-rw-r--r-- | refresh.php | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/refresh.php b/refresh.php index 3be354f..cc56e84 100644 --- a/refresh.php +++ b/refresh.php @@ -44,6 +44,7 @@ if (isset($_SERVER["SERVER_NAME"])) { die("This script is launched twice a day, be patient"); } require "config.inc.php"; +require "class/CommonTable.php"; /** * To document @@ -306,18 +307,8 @@ try { // ------------------------------------------------------------------- if ($_SERVER['argc']==1 || in_array('pear', $_SERVER['argv'])) { echo date("r : ") . "PEAR reading channels\n"; - $channels=array( - "pear" => "pear.php.net" - ,"doctrine" => "pear.phpdoctrine.org" - ,"ezc" => "components.ez.no" - ,"pdepend" => "pear.pdepend.org" - ,"phing" => "pear.phing.info" - ,"phpdb" => "pear.phpdb.org" - ,"phpmd" => "pear.phpmd.org" - ,"phpunit" => "pear.phpunit.de" - ,"swift" => "pear.swiftmailer.org" - ,"symphony" => "pear.symfony-project.com" - ); + $pear = new TablePearRepo($db); + $channels = $pear->getAllRepo(); try { $nbtot=0; |