]> git.pld-linux.org Git - packages/rpm-build-tools.git/commitdiff
Use 45s timeout (the same as already used for wget).
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Mon, 2 Nov 2015 14:45:29 +0000 (15:45 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Mon, 2 Nov 2015 14:45:29 +0000 (15:45 +0100)
pldnotify.awk

index d521abbb15dc573f3478913e3422ae9fffc7086e..f1c59bfb25ecb84368f1d2d32404328003026e50 100755 (executable)
@@ -710,7 +710,7 @@ function rubygem_upgrade(name, ver,   cmd, pkg) {
 
 function google_linux_repo(name, ver, reponame,   cmd, sourceurl) {
        sourceurl = "http://dl.google.com/linux/" reponame "/rpm/stable/x86_64/repodata/primary.xml.gz"
-       cmd = "curl -s " sourceurl " | zcat | perl -ne 'm{<name>" name "-" DEFS["state"] "</name>} and m{<version .*ver=.([\d.]+)} and print $1'"
+       cmd = "curl -m 45 -s " sourceurl " | zcat | perl -ne 'm{<name>" name "-" DEFS["state"] "</name>} and m{<version .*ver=.([\d.]+)} and print $1'"
        d("google repo: " cmd);
        cmd | getline ver
        close(cmd)
@@ -734,7 +734,7 @@ function jenkins_upgrade(name, ver, urls,  url, i, c, chunks, nver) {
 # check for update from release-monitoring.org
 function rmo_check(name,    sourceurl, cmd, ver) {
        sourceurl = "https://release-monitoring.org/api/project/pld-linux/" name
-       cmd = "echo 'var data='\"$(curl -s " sourceurl ")\"';if (data.version) process.stdout.write(data.version)' | node"
+       cmd = "echo 'var data='\"$(curl -m 45 -s " sourceurl ")\"';if (data.version) process.stdout.write(data.version)' | node"
        d("rmo: " cmd);
        cmd | getline ver
        close(cmd)
This page took 0.037957 seconds and 4 git commands to generate.