Merge 6aa1ec4201 into 936dfe8d02

2026-11-08 19:10:41 +01:00 · 2025-10-17 19:15:31 +02: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"; then
        logger WARN "Failed to reach $url, service may be down."
        return 1
    fi