xref: /PHP-7.3/tests/basic/timeout_config.inc (revision 1c850bfc)

<?php

$t = 3;

function busy_wait($how_long)
{
	$until = microtime(TRUE) + $how_long;

	while ($until > microtime(TRUE));
}