workflow: kill tcpdump harder

ThomasHabets · Jun 13, 2024 · d76a5ff · d76a5ff
1 parent 9625168
commit d76a5ff
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/run b/tests/run
@@ -82,6 +82,8 @@ run_test() {
 
     sleep 0.05
     kill -INT "${PID?}"
+    sleep 0.1
+    kill -9 "${PID?}" || true
     wait "${PID?}"
 
     TXT="$(mktemp)"