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;  | 
