From 719334f1b8217a4568d928e270f93ba661dcc60d Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 9 Aug 2011 21:53:44 +0000 Subject: [PATCH] terminate timeouting processes with SIGKILL (9) --- run-tests.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index bc5f99bc09..4bd1546118 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1080,7 +1080,7 @@ function system_with_timeout($commandline, $env = null, $stdin = null) } else if ($n === 0) { /* timed out */ $data .= b"\n ** ERROR: process timed out **\n"; - proc_terminate($proc); + proc_terminate($proc, 9); return $data; } else if ($n > 0) { $line = (binary) fread($pipes[1], 8192); -- 2.40.0