php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-27 10:16:41 +02:00
Code Issues Packages Projects Releases Wiki Activity

terminate timeouting processes with SIGKILL (9)

Browse Source
This commit is contained in:
Nuno Lopes
2011-08-09 21:53:44 +00:00
parent 0c83631303
commit 58da15422c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
run-tests.php
+1 -1
View File
@@ -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);