Compare commits
1 commit
1a1ae0b629
...
bf72cd517c
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
bf72cd517c |
2 changed files with 11 additions and 11 deletions
|
|
@ -21,8 +21,8 @@
|
||||||
# =============================================================================
|
# =============================================================================
|
||||||
|
|
||||||
when:
|
when:
|
||||||
event: [push, pull_request]
|
- event: [push, pull_request]
|
||||||
paths:
|
path:
|
||||||
- "nomad/jobs/edge.hcl"
|
- "nomad/jobs/edge.hcl"
|
||||||
- "docker/edge/**"
|
- "docker/edge/**"
|
||||||
- "tools/edge-control/**"
|
- "tools/edge-control/**"
|
||||||
|
|
|
||||||
|
|
@ -115,21 +115,21 @@ http_request() {
|
||||||
# Make a GET request and return status code
|
# Make a GET request and return status code
|
||||||
http_get() {
|
http_get() {
|
||||||
local url="$1"
|
local url="$1"
|
||||||
shift || true
|
shift
|
||||||
http_request "GET" "$url" "$@"
|
http_request "GET" "$url" "$@"
|
||||||
}
|
}
|
||||||
|
|
||||||
# Make a HEAD request (no body)
|
# Make a HEAD request (no body)
|
||||||
http_head() {
|
http_head() {
|
||||||
local url="$1"
|
local url="$1"
|
||||||
shift || true
|
shift
|
||||||
http_request "HEAD" "$url" "$@"
|
http_request "HEAD" "$url" "$@"
|
||||||
}
|
}
|
||||||
|
|
||||||
# Make a GET request and return the response body
|
# Make a GET request and return the response body
|
||||||
http_get_body() {
|
http_get_body() {
|
||||||
local url="$1"
|
local url="$1"
|
||||||
shift || true
|
shift
|
||||||
curl -sS --max-time "$EDGE_TIMEOUT" "$@" "$url"
|
curl -sS --max-time "$EDGE_TIMEOUT" "$@" "$url"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue