]> git.pld-linux.org Git - packages/php-pear.git/blobdiff - update-channels.sh
do not try forever (1 try 10s timeout)
[packages/php-pear.git] / update-channels.sh
old mode 100644 (file)
new mode 100755 (executable)
index dc3e5d7..0c33965
@@ -1,9 +1,14 @@
 #!/bin/sh
 channels="
        components.ez.no
+       pear.docblox-project.org
        pear.firephp.org
+       pear.horde.org
+       pear.michelf.com
+       pear.pdepend.org
        pear.phing.info
        pear.phpdb.org
+       pear.phpmd.org
        pear.phpunit.de
        pear.propelorm.org
        pear.roundcube.net
@@ -12,7 +17,7 @@ channels="
 "
 for channel in $channels; do
        url=http://$channel/channel.xml
-       wget -q -O tmp.xml $url || continue
+       wget -q --timeout=10 --tries=1 -O tmp.xml $url || continue
        alias=$(sed -nre 's,.*<suggestedalias>(.+)</suggestedalias>.*$,\1,p' tmp.xml)
        mv -f tmp.xml channel-$alias.xml
 done
This page took 0.047753 seconds and 4 git commands to generate.