diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-09-17 17:33:46 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-09-17 17:33:46 +0200 |
commit | 175f4f24ae9f8600556c1352429b1bb49f8616ba (patch) | |
tree | c752d4bc9b4703c738e379176c4829867026f4de /ext/standard | |
parent | e691a98c1fa332e35088cb01cbb8f4f8ee4b3711 (diff) | |
download | php-git-175f4f24ae9f8600556c1352429b1bb49f8616ba.tar.gz |
Increase timeout in test
Diffstat (limited to 'ext/standard')
-rw-r--r-- | ext/standard/tests/http/bug76342.phpt | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ext/standard/tests/http/bug76342.phpt b/ext/standard/tests/http/bug76342.phpt index 179127081f..ee943ca365 100644 --- a/ext/standard/tests/http/bug76342.phpt +++ b/ext/standard/tests/http/bug76342.phpt @@ -8,9 +8,10 @@ allow_url_fopen=1 <?php require 'server.inc'; +$timeout = 0.5; $options = [ 'http' => [ - 'timeout' => '0.1', + 'timeout' => $timeout, ], ]; @@ -20,8 +21,9 @@ $pid = http_server_sleep('tcp://127.0.0.1:12342'); $start = microtime(true); file_get_contents('http://127.0.0.1:12342/', false, $ctx); -if (microtime(true) - $start >= 0.2) { - echo 'FAIL'; +$diff = microtime(true) - $start; +if ($diff >= 2 * $timeout) { + echo "FAIL: $diff\n"; } http_server_kill($pid); |