OK, for reasons I don't understand, SIGINT does not work here.

Use SIGKILL which is sure to work.

OK, for reasons I don't understand, SIGINT does not work here.
Use SIGKILL which is sure to work.
3efd809d · Poul-Henning Kamp · a3d1721c · 3efd809d
Commit 3efd809d authored Nov 18, 2016 by Poul-Henning Kamp
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

u00000.vtc bin/varnishtest/tests/u00000.vtc +1 -1

No files found.
--- a/bin/varnishtest/tests/u00000.vtc
+++ b/bin/varnishtest/tests/u00000.vtc
@@ -16,7 +16,7 @@ delay 0.5
 # stop
 process p1 -stop
 process p2 -close
-process p3 -kill INT
+process p3 -kill KILL

 # wait
 process p1 -wait