feature/deploy-system #2

Merged
ljp merged 15 commits from feature/deploy-system into main 2025-09-11 17:56:21 +02:00
Showing only changes of commit aa6a470b0d - Show all commits
+2 -2
View File
@@ -419,7 +419,7 @@ BEGIN { FS=" " }
# Deferred detection
is_defer = 0
if (is_remote && (index($0, "retry time not reached")>0 || index($0, "temporar")>0 || index($0, "timed out")>0 || match($0, /all hosts for '\''[^']+'\'' have been failing/))) {
if (is_remote && (index($0, "retry time not reached")>0 || index($0, "temporar")>0 || index($0, "timed out")>0 || match($0, /all hosts for.*have been failing/))) {
is_defer=1
}
@@ -437,7 +437,7 @@ BEGIN { FS=" " }
if (is_perm_fail) fails[msgid]++
# Fail marker
if (match($0, /all hosts for '\''[^']+'\'' have been failing/)) {
if (match($0, /all hosts for.*have been failing/)) {
fail_marker[msgid]=1
}