Merge cc73f23c1c into 936dfe8d02

fix: suppress ping stderr output
2026-11-14 13:51:53 +01:00 · 2025-10-24 12:36:01 +00:00 · 2025-10-24 12:35:56 +00:00
1 changed files with 1 additions and 1 deletions
@@ -503,7 +503,7 @@ check_availability() {
    if [[ $2 ]]; then
        timeout_sec=$2
    fi
-    if ! ping -w "$timeout_sec" "$url" > /dev/null; then
+    if ! ping -w "$timeout_sec" "$url" > /dev/null 2>&1; then
        logger WARN "Failed to reach $url, service may be down."
        return 1
    fi
Author	SHA1	Message	Date
Koloszár Gergely	84cae43dbd	Merge `cc73f23c1c` into `936dfe8d02`	2025-10-24 12:36:01 +00:00
Gergely Koloszar	cc73f23c1c	fix: suppress ping stderr output	2025-10-24 12:35:56 +00:00