terminate timeouting processes with SIGKILL (9)

jrbasso · Aug 9, 2011 · 8f54a74 · 8f54a74
1 parent e34dc6c
commit 8f54a74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);