divert: fix NULL-deref on empty listener list (wedged pf0 in gate 11); gate 11 pdivert path; runner accepts gate filter arg
This commit is contained in:
1 parent
fd0be917fe
commit
da1f678125
3 files changed
+17
-7
No files matched your search
@@ -42,7 +42,9 @@ pf_disable_pf0() {
|
||||
>/dev/null 2>&1 || true
|
||||
}
|
||||
trap pf_disable_pf0 EXIT INT TERM
|
||||
ONLY="${1:-}"
|
||||
for t in "$REPO"/tests/vm/[0-9]*.sh; do
|
||||
[ -n "$ONLY" ] && case "$t" in *"$ONLY"*) ;; *) continue ;; esac
|
||||
[ -e "$t" ] || continue
|
||||
name="$(basename "$t")"
|
||||
echo "=== $name ==="
|
||||
|
||||
Reference in new issue
Block a user