docs: website/API in ping-collector since 2026-10-18; quiet the install script's port probes
CI / Format & lint (push) Successful in 22s
CI / Test suite (push) Successful in 52s
Docs / Validate documentation (push) Successful in 24s
Rust / fmt, clippy, test, build (push) Successful in 11m39s

This commit is contained in:
grabowski committed 2026-10-18 16:42:40 +07:00
1 parent 779728e38b
commit 330fdf7804
3 files changed
+5 -5

No files matched your search

+1 -1
View File
@@ -82,7 +82,7 @@ env_is() { grep -q "^$1=$2\s*$" "$ENV_FILE"; }
wait_http() { # url seconds
local i
for i in $(seq "$2"); do
curl -fsS -o /dev/null --max-time 5 "$1" && return 0
curl -fs -o /dev/null --max-time 5 "$1" 2>/dev/null && return 0
sleep 1
done
return 1