summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNuno Lopes <nlopess@php.net>2012-01-08 18:03:56 +0000
committerNuno Lopes <nlopess@php.net>2012-01-08 18:03:56 +0000
commit34bcd34b8cc4b23ca4a0ab323f48139589805b21 (patch)
tree7000c78f19e616dd36d655a8fd084570625dff98
parentbbf403f4ce0f85b391c0c97cb85102d71b302ba6 (diff)
downloadphp-git-34bcd34b8cc4b23ca4a0ab323f48139589805b21.tar.gz
do kill 9 to fix a race condition in this test. (should fix the debian 32-bit buildbot)
-rw-r--r--ext/standard/tests/general_functions/bug39322.phpt4
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/standard/tests/general_functions/bug39322.phpt b/ext/standard/tests/general_functions/bug39322.phpt
index ef74e48397..a9f83c75bf 100644
--- 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)
}