#!/bin/bash

status_code1=$(curl -s -o /dev/null -w "%{http_code}" https://exchange.test.taler.net/)
status_code2=$(curl -s -o /dev/null -w "%{http_code}" https://exchange.test.taler.net/keys)

if test \
  $status_code1 = 502 -o \
  $status_code2 = 502; then
  echo Either \"/\" or \"/keys\" gave 502.
  exit 1
fi
exit 0