# HG changeset patch # User Matthias Förste foerste@schlittermann.de # Date 1314798889 -7200 # Node ID cc9741ed8e84f95b0aeea383148aee9a938bed8f # Parent d1541211673e45b0379895ea77cc7a89608c8a02 fixing a problem where failure to get the url may result in warning status diff -r d1541211673e -r cc9741ed8e84 check_release.pl --- a/check_release.pl Tue Jul 05 15:19:05 2011 +0200 +++ b/check_release.pl Wed Aug 31 15:54:49 2011 +0200 @@ -90,9 +90,17 @@ sub get_stable_release($$) { my ($url, $search) = @_; my ($found, $stable_release) = undef; + my $website; my @website = (); - push @website, split("\n", get($url)); + $website = get($url); + unless (defined $website) { + print +"RELEASE CRITICAL: failed to get $url\n"; + exit $ERRORS{CRITICAL}; + } + + push @website, split("\n", $website); foreach (@website) { unless ($found) {