commit 5462199b650bde1d030fb924d996257cb414aff7
parent b29d0dd608b6840d1c950216b5a50c5ebf0bb8ab
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Tue, 9 Jan 2018 16:37:23 +0100
consider when curl goes okay
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/buildbot/checks.sh b/buildbot/checks.sh
@@ -13,6 +13,7 @@ error_stringify ()
case $1 in
28) echo "connection timed out" ;;
7) echo "failed to connect to host" ;;
+ 0) echo "not a error, curl went fine" ;;
*) echo "unknown, see curl man page" ;;
esac
}