1 changed files with 3 additions and 3 deletions
|
|
@ -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
|
shift || true
|
||||||
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
|
shift || true
|
||||||
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
|
shift || true
|
||||||
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