diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-06-13 14:53:25 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-06-13 14:53:25 +0200 |
| commit | e91b3d899d736645a227a8d74ec9893fedba959f (patch) | |
| tree | 46d179a1dee178073191673dfeebbed7ae037d33 | |
| parent | 160fbe6b55ad0bd9880fa3a57d15e5c433a35000 (diff) | |
| download | jenkins.debian.net-e91b3d899d736645a227a8d74ec9893fedba959f.tar.xz | |
reproducible Debian: let's not fail the node health check just because the internet is down…
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | bin/reproducible_node_health_check.sh | 3 | ||||
| -rw-r--r-- | logparse/reproducible.rules | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index 17accb1e..c025cc77 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -43,8 +43,7 @@ set +e echo "$(date -u) - testing whether the proxy works..." curl http://www.debian.org > /dev/null if [ $? -ne 0 ] ; then - irc_message debian-reproducible "Proxy is down for $HOSTNAME, please tell the jenkins admins to fix this. (sudo service squid3 restart)" - exit 1 + echo "Warning: curl http://www.debian.org failed, probably the proxy is down for $HOSTNAME…" fi # diff --git a/logparse/reproducible.rules b/logparse/reproducible.rules index 66139b3b..cba99551 100644 --- a/logparse/reproducible.rules +++ b/logparse/reproducible.rules @@ -22,3 +22,6 @@ warning /W: The repository .+ is not signed./ warning /W: There is no public key available for the following key IDs:.+/ warning /Warning: /.../shm.+please tell the jenkins admins to fix this./ warning /Warning, today is the wrong future:.+/ +warning /Warning: curl http:..www.debian.org failed, probably the proxy is down for.+/ + + |