1#!/usr/bin/env bash
2
3set -e # fail on error
4set -u # fail if variable not set in substitution
5set -o pipefail # fail if part of a '|' command fails
6
7if test -z "${RELAY_ADMIN_KEY}"; then
8 echo "RELAY_ADMIN_KEY secret is not defined"
9 exit -1
10fi
11
12if test -z "${RELAY_HOST}"; then
13 echo "RELAY_HOST config not defined"
14 exit -1
15fi
16
17if test -z "$1"; then
18 echo "expected PDS hostname as an argument"
19 exit -1
20fi
21
22echo "GET resync $1"
23http --ignore-stdin --pretty all get https://${RELAY_HOST}/admin/pds/resync Authorization:"Bearer ${RELAY_ADMIN_KEY}" \
24 host==$1