nlopess                                  Tue, 09 Aug 2011 21:53:44 +0000

Revision: http://svn.php.net/viewvc?view=revision&revision=314690

Log:
terminate timeouting processes with SIGKILL (9)

Changed paths:
    U   php/php-src/branches/PHP_5_3/run-tests.php
    U   php/php-src/branches/PHP_5_4/run-tests.php
    U   php/php-src/trunk/run-tests.php

Modified: php/php-src/branches/PHP_5_3/run-tests.php
===================================================================
--- php/php-src/branches/PHP_5_3/run-tests.php  2011-08-09 21:35:31 UTC (rev 
314689)
+++ php/php-src/branches/PHP_5_3/run-tests.php  2011-08-09 21:53:44 UTC (rev 
314690)
@@ -1080,7 +1080,7 @@
                } 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);

Modified: php/php-src/branches/PHP_5_4/run-tests.php
===================================================================
--- php/php-src/branches/PHP_5_4/run-tests.php  2011-08-09 21:35:31 UTC (rev 
314689)
+++ php/php-src/branches/PHP_5_4/run-tests.php  2011-08-09 21:53:44 UTC (rev 
314690)
@@ -1080,7 +1080,7 @@
                } 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);

Modified: php/php-src/trunk/run-tests.php
===================================================================
--- php/php-src/trunk/run-tests.php     2011-08-09 21:35:31 UTC (rev 314689)
+++ php/php-src/trunk/run-tests.php     2011-08-09 21:53:44 UTC (rev 314690)
@@ -1082,7 +1082,7 @@
                } 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);

-- 
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to