summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-09-17 17:33:46 +0200
committerNikita Popov <nikita.ppv@gmail.com>2019-09-17 17:33:46 +0200
commit175f4f24ae9f8600556c1352429b1bb49f8616ba (patch)
treec752d4bc9b4703c738e379176c4829867026f4de
parente691a98c1fa332e35088cb01cbb8f4f8ee4b3711 (diff)
downloadphp-git-175f4f24ae9f8600556c1352429b1bb49f8616ba.tar.gz
Increase timeout in test
-rw-r--r--ext/standard/tests/http/bug76342.phpt8
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);