From 7558c748a32e49612b598c296ef9da030d1d5c68 Mon Sep 17 00:00:00 2001 From: rdlrt <3169068+rdlrt@users.noreply.github.com> Date: Mon, 2 Sep 2024 11:09:24 +1000 Subject: [PATCH] Fix getmetrics script (function names --- scripts/grest-helper-scripts/getmetrics.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/grest-helper-scripts/getmetrics.sh b/scripts/grest-helper-scripts/getmetrics.sh index c188f9e99..7c760a6f1 100755 --- a/scripts/grest-helper-scripts/getmetrics.sh +++ b/scripts/grest-helper-scripts/getmetrics.sh @@ -28,7 +28,7 @@ exec 2>/dev/null [[ -z ${DBSYNC_PROM_PORT} ]] && DBSYNC_PROM_PORT=8080 [[ -z ${PGDATABASE} ]] && PGDATABASE=cexplorer -function get-metrics() { +function get_metrics() { shopt -s expand_aliases if [ -n "$SERVED" ]; then echo "Content-type: text/plain" # Tells the browser what kind of content to expect @@ -99,4 +99,4 @@ function get-metrics() { done } -get-metrics +get_metrics