do kill 9 to fix a race condition in this test. (should fix the debian 32-bit buildbot)

diff --git a/ext/standard/tests/general_functions/bug39322.phpt b/ext/standard/tests/general_functions/bug39322.phpt
index ef74e483978660373276bd06459558c39ac9d2ea..a9f83c75bf17a3672f68fed8f317d59e92fb4566 100644 (file)
--- a/ext/standard/tests/general_functions/bug39322.phpt
+++ b/ext/standard/tests/general_functions/bug39322.phpt
@@ -16,7 +16,7 @@ $pipes = array();
 
 $process = proc_open('/bin/sleep 120', $descriptors, $pipes);
 
-proc_terminate($process);
+proc_terminate($process, 9);
 sleep(1); // wait a bit to let the process finish
 var_dump(proc_get_status($process));
 
@@ -38,7 +38,7 @@ array(8) {
   ["exitcode"]=>
   int(-1)
   ["termsig"]=>
-  int(15)
+  int(9)
   ["stopsig"]=>
   int(0)
 }