xref: /PHP-7.2/tests/basic/timeout_config.inc (revision 60a69dae)
1<?php
2
3$t = 3;
4
5function busy_wait($how_long)
6{
7	$until = microtime(TRUE) + $how_long;
8
9	while ($until > microtime(TRUE));
10}
11