diff options
author | Joe Watkins <krakjoe@php.net> | 2017-02-03 05:54:50 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-02-03 05:54:50 +0000 |
commit | 25271feeb0ab55fef89d4b7388277be06b21856d (patch) | |
tree | 1332f705eafc2928e43ac23c2de67dc8e245499e | |
parent | dd9cf23457e21d2bda29dc92d437b9dbd14027b2 (diff) | |
parent | 8faf5f979cccc59d02b775a15df93419714565a2 (diff) | |
download | php-git-25271feeb0ab55fef89d4b7388277be06b21856d.tar.gz |
Merge branch 'pull-request/2360' into PHP-7.0
* pull-request/2360:
increase wait time in timeout_variation_10.phpt by 1 second
-rw-r--r-- | tests/basic/timeout_variation_10.phpt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/basic/timeout_variation_10.phpt b/tests/basic/timeout_variation_10.phpt index 158119e62f..373be27b3d 100644 --- a/tests/basic/timeout_variation_10.phpt +++ b/tests/basic/timeout_variation_10.phpt @@ -14,7 +14,7 @@ set_time_limit($t); function f() { echo "call"; - busy_wait(4); + busy_wait(5); } register_shutdown_function("f"); |