From: Nuno Lopes <nlopess@php.net>
Date: Tue, 9 Aug 2011 21:53:44 +0000 (+0000)
Subject: terminate timeouting processes with SIGKILL (9)
X-Git-Tag: php-5.5.0alpha1~1571
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=58da15422cb2f4cc9d70742e43d4840adff48d1f;p=php

terminate timeouting processes with SIGKILL (9)
---

diff --git a/run-tests.php b/run-tests.php
index a615efccdc..ddd1f5f494 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -1082,7 +1082,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);