diff options
| author | Rodrigo Prado <royopa@gmail.com> | 2017-02-01 15:22:35 -0800 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2017-02-03 05:53:28 +0000 |
| commit | 8faf5f979cccc59d02b775a15df93419714565a2 (patch) | |
| tree | 1332f705eafc2928e43ac23c2de67dc8e245499e | |
| parent | dd9cf23457e21d2bda29dc92d437b9dbd14027b2 (diff) | |
| download | php-git-8faf5f979cccc59d02b775a15df93419714565a2.tar.gz | |
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"); |