mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-23 09:54:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-7.4'

Browse Source
This commit is contained in:
Nikita Popov 2019-07-08 13:36:26 +02:00
commit f01c7e959f
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tests/basic/timeout_config.inc
View File

@ -2,9 +2,9 @@
$t = 3;
function busy_wait($how_long)
{
$until = microtime(TRUE) + $how_long;
while ($until > microtime(TRUE));
function busy_wait($how_long) {
$until = microtime(true) + $how_long;
do {
for ($i = 0; $i < 1000000; $i++);
} while ($until > microtime(true));
}