registry-sync : journal des sondes de runners (dernier cycle seulement) pour diagnostiquer les nœuds injoignables

Simon-Pierre Boucher committed 19 days ago (Sep 5, 2026) parent 01080c4

1 changed file +3 −2

modified deploy/registry-sync.sh +3 −2

		`@@ -41,13 +41,14 @@ while true; do`
41	41	log "tirage du registre impossible (gitsrv injoignable) — copie précédente conservée"
42	42	fi
43	43
44		− # 2. sonder les runners des nœuds hébergeurs
	44	+ # 2. sonder les runners des nœuds hébergeurs (le journal des sondes ne garde que le dernier cycle)
	45	+ : > $SPOOL/registry-sync.probe.log
45	46	out="{"
46	47	first=1
47	48	for ip in $(registry_ips); do
48	49	resp=$(/usr/bin/ssh -i $KEY -o BatchMode=yes -o ConnectTimeout=6 -o StrictHostKeyChecking=accept-new \
49	50	-o ControlMaster=auto -o ControlPath=/tmp/kg-cm-%h -o ControlPersist=120 \
50		− simon-pierreboucher@$ip "/usr/bin/curl -s -m 4 http://127.0.0.1:7791/health" 2>/dev/null)
	51	+ simon-pierreboucher@$ip "/usr/bin/curl -s -m 4 http://127.0.0.1:7791/health" 2>>$SPOOL/registry-sync.probe.log)
51	52	ts=$(date +%s)
52	53	if [[ $resp == '"ok":true' ]]; then
53	54	node=$(print -r -- $resp \| grep -o '"node":"[^"]*"' \| cut -d'"' -f4)
54	55