xref: /PHP-7.0/tests/basic/timeout_config.inc (revision 24bb5698)

<?php

$t = 3;

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

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