diff options
author | Nuno Lopes <nlopess@php.net> | 2012-01-08 18:03:56 +0000 |
---|---|---|
committer | Nuno Lopes <nlopess@php.net> | 2012-01-08 18:03:56 +0000 |
commit | 34bcd34b8cc4b23ca4a0ab323f48139589805b21 (patch) | |
tree | 7000c78f19e616dd36d655a8fd084570625dff98 | |
parent | bbf403f4ce0f85b391c0c97cb85102d71b302ba6 (diff) | |
download | php-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.phpt | 4 |
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) } |